Sciweavers

6248 search results - page 98 / 1250
» Programming in a data factory
Sort
View
144
Voted
APSEC
1996
IEEE
15 years 6 months ago
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima
91
Voted
MICRO
2000
IEEE
118views Hardware» more  MICRO 2000»
15 years 7 months ago
A study of slipstream processors
A slipstream processor reduces the length of a running program by dynamically skipping computation non-essential for correct forward progress. The shortened program runs faster as...
Zachary Purser, Karthik Sundaramoorthy, Eric Roten...
151
Voted
FMOODS
2008
15 years 4 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
134
Voted
ENTCS
2007
103views more  ENTCS 2007»
15 years 2 months ago
Static Slicing of Rewrite Systems
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
Diego Cheda, Josep Silva, Germán Vidal
ACTA
2007
54views more  ACTA 2007»
15 years 2 months ago
On the tree-transformation power of XSLT
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in tran
Wim Janssen, Alexandr Korlyukov, Jan Van den Bussc...