14190 search results - page 2694 / 2838 » Abstractions for hybrid systems |
105
click to vote
IPPS
2000
IEEE
15 years 3 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
124
click to vote
POPL
2000
ACM
15 years 3 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
111
Voted
CAV
2000
Springer
15 years 3 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
110
click to vote
DDEP
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Our component-based parametrisable font system is a newly developed font description and reproduction technology. It incorporates for each basic character shape a softwar...
ADC
1999
Springer
15 years 3 months ago
1999
Springer
We introduce pseudo-naive evaluation, a method for execution of mixed top-down/bottom-up logic programs and deductive databases. The method is intermediate in power between naive ...