2296 search results - page 114 / 460 » The Expressive Power of Synchronizations |
151
click to vote
IANDC
2008
15 years 4 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
138
click to vote
ICCD
2004
IEEE
2004
IEEE
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation
16 years 1 months ago
In this paper we discuss the application of circuit-based logical reasoning to simplify optimization problems expressed as integer linear programs (ILP) over circuit states. We de...
116
click to vote
OOPSLA
1987
Springer
15 years 8 months ago
1987
Springer
SELF is an object-oriented language for exploratory programming based on a small number of simple and concrete ideas: prototypes, slots, and behavior. Prototypes combine inheritanc...
128
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
137
click to vote
CHI
1999
ACM
15 years 8 months ago
1999
ACM
Although current online chat environments provide new opportunities for communication, they are quite constrained in their ability to convey many important pieces of social inform...