120 search results - page 15 / 24 » Supporting Evolution of Interface Exceptions |
158
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
135
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
116
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
149
click to vote
JAR
2006
15 years 4 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
137
click to vote
IJPP
2011
14 years 11 months ago
2011
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...