7961 search results - page 452 / 1593 » Input-Output Model Programs |
163
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
146
click to vote
EPIA
2007
Springer
16 years 18 days ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
164
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
150
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is about gate sizing under a statistical delay model. It shows we can solve the gate sizing problem exactly for a given statistical delay model. The formulation used al...
154
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...