2488 search results - page 344 / 498 » An improvement in formal verification |
124
click to vote
SAS
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
124
click to vote
PVLDB
2010
15 years 1 days ago
2010
The current widespread use of location-based services and GPS technologies has revived interest in very fast and scalable shortest path queries. We introduce a new shortest path q...
119
click to vote
ICIP
2000
IEEE
16 years 3 months ago
2000
IEEE
The rapid progress of computers and today's heterogeneous computing environment means computation-intensive signal processing algorithms must be optimized for performance in ...
ICFP
2001
ACM
16 years 1 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
100
Voted
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...