Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Análisis estática")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1419

  • Page / 57
Export

Selection :

  • and

A symbolic approach to Bernstein expansion for program analysis and optimizationCLAUSS, Philippe; TCHOUPAEVA, Irina.Lecture notes in computer science. 2004, pp 120-133, issn 0302-9743, isbn 3-540-21297-3, 14 p.Conference Paper

Automated Code Review Tools for SecurityMCGRAW, Gary.Computer (Long Beach, CA). 2008, Vol 41, Num 12, pp 108-111, issn 0018-9162, 4 p.Article

Lookahead wideningGOPAN, Denis; REPS, Thomas.Lecture notes in computer science. 2006, pp 452-466, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 15 p.Conference Paper

Static analysis (13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006)Yi, Kwangkeun.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-37756-5, 1Vol, XIII-442 p, isbn 3-540-37756-5Conference Proceedings

SAS 2004 : static analysis (Verona, 26-28 August 2004)Giacobazzi, Roberto.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22791-1, XI, 392 p, isbn 3-540-22791-1Conference Proceedings

False timing path identification using ATPG techniques and delay-based informationJING ZENG; ABADIR, Magdy; ABRAHAM, Jacob et al.Design automation conference. 2002, pp 556-561, isbn 1-58113-461-4, 6 p.Conference Paper

A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real WorldBESSEY, A. L; BLOCK, Ken; CHELF, Ben et al.Communications of the ACM. 2010, Vol 53, Num 2, pp 66-75, issn 0001-0782, 10 p.Article

SAS 2005 : static analysis (London, 7-9 September 2005)Hankin, Chris; Siveroni, Igor.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28584-9, X, 367 p, isbn 3-540-28584-9Conference Proceedings

Pruning interference and ready dependence for slicing concurrent Java programsVENKATESH PRASAD RANGANATH; HATCLIFF, John.Lecture notes in computer science. 2004, pp 39-56, issn 0302-9743, isbn 3-540-21297-3, 18 p.Conference Paper

Osculating thevenin model for predicting delay and slew of capacitively characterized cellsSHEEHAN, Bernard N.Design automation conference. 2002, pp 866-869, isbn 1-58113-461-4, 4 p.Conference Paper

Unleashing the power of static analysisDAS, Manuvir.Lecture notes in computer science. 2006, pp 1-2, issn 0302-9743, isbn 3-540-37756-5, 1Vol, 2 p.Conference Paper

Software That Checks Software: The Impact of PC-lintGIMPEL, James.IEEE software. 2014, Vol 31, Num 1, pp 15-19, issn 0740-7459, 5 p.Article

Performance Evaluation and Model Checking Join ForcesBAIER, Christel; HAVERKORT, Boudewijn R; HERMANNS, Holger et al.Communications of the ACM. 2010, Vol 53, Num 9, pp 76-85, issn 0001-0782, 10 p.Article

Model Checking: Algorithmic Verification and DebuggingCLARKE, Edmund M; EMERSON, E. Allen; SIFAKIS, Joseph et al.Communications of the ACM. 2009, Vol 52, Num 11, pp 75-84, issn 0001-0782, 10 p.Article

Judgment of static life and death in computer go using string graphPARK, Hyun-Soo; KANG, Kyung-Woo; KIM, Hang-Joon et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28323-4, 3Vol, Part 2, 543-551Conference Paper

JDBC checker : A static analysis tool for SQL/JDBC applicationsGOULD, Carl; ZHENDONG SU; DEVANBU, Premkumar et al.International Conference on Software Engineering. 2004, pp 697-698, isbn 0-7695-2163-0, 1Vol, 2 p.Conference Paper

The trace partitioning abstract domainRIVAL, Xavier; MAUBORGNE, Laurent.ACM transactions on programming languages and systems. 2007, Vol 29, Num 5, issn 0164-0925, b39-b89Conference Paper

Analyzing memory accesses in x86 executablesBALAKRISHNAN, Gogul; REPS, Thomas.Lecture notes in computer science. 2004, pp 5-23, issn 0302-9743, isbn 3-540-21297-3, 19 p.Conference Paper

The octahedron abstract domainCLARISO, Robert; CORTADELLA, Jordi.Lecture notes in computer science. 2004, pp 312-327, issn 0302-9743, isbn 3-540-22791-1, 16 p.Conference Paper

Preferences estimation without approximationALGHALITH, Moawia.European journal of operational research. 2010, Vol 207, Num 2, pp 1144-1146, issn 0377-2217, 3 p.Article

Le modèle de graphe de programme généralisé et ses extensions Un outil pour l'analyse statique du logiciel : ANALYSE STATIQUEDEBNATH, Narayan C.Génie logiciel (1995). 2010, Num 95, pp 56-59, issn 1265-1397, 4 p.Article

Memory leak analysis by contradictionORLOVICH, Maksim; RUGINA, Radu.Lecture notes in computer science. 2006, pp 405-424, issn 0302-9743, isbn 3-540-37756-5, 1Vol, 20 p.Conference Paper

Recency-abstraction for heap-allocated storageBALAKRISHNAN, Gogul; REPS, Thomas.Lecture notes in computer science. 2006, pp 221-239, issn 0302-9743, isbn 3-540-37756-5, 1Vol, 19 p.Conference Paper

Support inference for generic filteringBOUSSEMART, Frederic; HEMERY, Fred; LECOUTRE, Christophe et al.Lecture notes in computer science. 2004, pp 721-725, issn 0302-9743, isbn 3-540-23241-9, 5 p.Conference Paper

Defending against Buffer-Overflow VulnerabilitiesBINDU MADHAVI PADMANABHUNI; HEE BENG KUAN TAN.Computer (Long Beach, CA). 2011, Vol 44, Num 11, pp 53-60, issn 0018-9162, 8 p.Article

  • Page / 57