10707 search results - page 62 / 2142 » Designing executable abstractions |
109
click to vote
SAS
2010
Springer
15 years 1 months ago
2010
Springer
Numerical Abstract Domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit`a di Chieti-Pescara – Dipartimento di Scienze We pro...
133
click to vote
ENTCS
2007
15 years 2 months ago
2007
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
133
click to vote
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
138
click to vote
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
Conventional OLTP systems assign each transaction to a worker thread and that thread accesses data, depending on what the transaction dictates. This thread-to-transaction work ass...
139
click to vote
WSC
2004
15 years 4 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...