1690 search results - page 150 / 338 » Algorithmic Properties of Millstream Systems |
141
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
154
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
125
click to vote
PODC
2009
ACM
16 years 5 months ago
2009
ACM
d Abstract] Christoph Lenzen Computer Engineering and Networks Laboratory (TIK) ETH Zurich, 8092 Zurich, Switzerland lenzen@tik.ee.ethz.ch Thomas Locher Computer Engineering and N...
137
Voted
AIPS
2003
15 years 6 months ago
2003
Scheduling algorithms for real-time systems can be characterized in various ways, one of the most important ones of which is the underlying task model. Many concepts of real-time ...
128
Voted
SIP
2003
15 years 6 months ago
2003
We present a novel maximum-likelihood (ML) joint frame synchronization and carrier phase ambiguity resolution algorithm for coded systems that exploits the code properties by acce...