1902 search results - page 360 / 381 » Differential Dynamic Logics |
201
click to vote
ECOOP
2009
Springer
16 years 12 days ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
212
click to vote
ASPLOS
2009
ACM
16 years 12 days ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...
82
Voted
HPCA
2006
IEEE
16 years 4 days ago
2006
IEEE
We propose dynamic scheduler designs to improve the scheduler scalability and reduce its complexity in the SMT processors. Our first design is an adaptation of the recently propos...
192
click to vote
POPL
2007
ACM
16 years 2 days ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
186
Voted
POPL
2005
ACM
16 years 2 days ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...