Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Programa")

Filter

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

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

Origin

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

Results 1 to 25 of 99554

  • Page / 3983
Export

Selection :

  • and

Fairness in parallel programs: the transformational approachOLDEROG, E.-R; APT, K. R.ACM transactions on programming languages and systems. 1988, Vol 10, Num 3, pp 420-455, issn 0164-0925Article

Static analysis (Venice, 22-24 September 1999)Cortesi, Agostino; Filé, Gilberto.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66459-9, VIII, 356 p, isbn 3-540-66459-9Conference Proceedings

SAIG 2000 : semantics, applications, and implementation of program generation (Montreal PQ, 20 September 2000)Taha, Walid.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-41054-6, VIII, 229 p, isbn 3-540-41054-6Conference Proceedings

On correct program schemasFLENER, P; LAU, K.-K; ORNAGHI, M et al.Lecture notes in computer science. 1998, pp 128-147, issn 0302-9743, isbn 3-540-65074-1Conference Paper

Development of correct transformation schemata for Prolog programsRICHARDSON, J; FUCHS, N.Lecture notes in computer science. 1998, pp 263-281, issn 0302-9743, isbn 3-540-65074-1Conference Paper

Cascade : C assertion checker and deductive engineSETHI, Nikhil; BARRETT, Clark.Lecture notes in computer science. 2006, pp 166-169, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 4 p.Conference Paper

The next 700 synthesis calculiBASIN, David.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43928-5, p. 430Conference Paper

Parallel efficiency can be greater than unityPARKINSON, D.Parallel computing. 1986, Vol 3, Num 3, pp 261-262, issn 0167-8191Article

On a technology of design and analysis of dataflow programsSOKOLOV, V. A; ROUBTSOVA, E. E; ROUBTSOV, S. A et al.Lecture notes in computer science. 1997, pp 115-120, issn 0302-9743, isbn 3-540-63371-5Conference Paper

Using control and data flow analysis for race evaluationKRANZLMÜLLER, D; GRABNER, S; VOLKERT, J et al.Lecture notes in computer science. 1997, pp 102-109, issn 0302-9743, isbn 3-540-63440-1Conference Paper

Simple plots tell a complex story: using the EAR, RDA, AI and UL to evaluate nutrient intakesSTUMBO, Phyllis J; MURPHY, Suzanne P.Journal of food composition and analysis (Print). 2004, Vol 17, Num 3-4, pp 485-492, issn 0889-1575, 8 p.Conference Paper

ROS: The rollback-one-step method to minimize the waiting time during debugging long-running parallel programsNAM THOAI; KRANZLMÜLLER, Dieter; VOLKERT, Jens et al.Lecture notes in computer science. 2003, pp 664-678, issn 0302-9743, isbn 3-540-00852-7, 15 p.Conference Paper

Test program to observe parallelismCHRISTOPHER, Thomas W.ACM SIGPLAN notices. 2001, Vol 36, Num 9, pp 31-36, issn 1523-2867Article

Inter-array data regroupingCHEN DING; KENNEDY, K.Lecture notes in computer science. 2000, pp 149-163, issn 0302-9743, isbn 3-540-67858-1Conference Paper

On jones-optimal specialization for strongly typed languagesMAKHOLM, Henning.Lecture notes in computer science. 2000, pp 129-148, issn 0302-9743, isbn 3-540-41054-6Conference Paper

Theorems about compositionCHARPENTIER, M; MANI CHANDY, K.Lecture notes in computer science. 2000, pp 167-186, issn 0302-9743, isbn 3-540-67727-5Conference Paper

A case study : Effects of with-loop-folding on the NAS benchmark MG in SACSCHOLZ, S.-B.Lecture notes in computer science. 1999, pp 216-228, issn 0302-9743, isbn 3-540-66229-4Conference Paper

Rigorous compiler implementation correctness : How to prove the real thing correctGOERIGK, W; HOFFMANN, U.Lecture notes in computer science. 1999, pp 122-136, issn 0302-9743, isbn 3-540-66462-9Conference Paper

Translating out of Static Single Assignment formSREEDHAR, V. C; JU, R. D.-C; GILLIES, D. M et al.Lecture notes in computer science. 1999, pp 194-210, issn 0302-9743, isbn 3-540-66459-9Conference Paper

Program optimization for concurrent multithreaded architecturesTSAI, J.-Y; ZHENZHEN JIANG; YEW, P.-C et al.Lecture notes in computer science. 1998, pp 146-162, issn 0302-9743, isbn 3-540-64472-5Conference Paper

To parse or not to parseVANHOOF, W; MARTENS, B.Lecture notes in computer science. 1998, pp 322-342, issn 0302-9743, isbn 3-540-65074-1Conference Paper

Debugging temporal specifications with concept analysisAMMONS, Glenn; MANDELIN, David; BODIK, Rastislav et al.ACM SIGPLAN notices. 2003, Vol 38, Num 5, pp 182-195, issn 1523-2867, 14 p.Conference Paper

A new module system for PrologCABEZA, D; HERMENEGILDO, M.Lecture notes in computer science. 2000, pp 131-148, issn 0302-9743, isbn 3-540-67797-6Conference Paper

SAS 2000 : static analysis (Santa Barbara CA, 29 June - 1 July 2000)Palsberg, Jens.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67668-6, VIII, 432 p, isbn 3-540-67668-6Conference Proceedings

MPC 2000 : mathematics of program construction (Ponte de Lima, 3-5 July 2000)Backhouse, Roland; Oliveira, José Nuno.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67727-5, VII, 255 p, isbn 3-540-67727-5Conference Proceedings

  • Page / 3983