8109 search results - page 488 / 1622 » A Model of Component-Based Programming |
185
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
201
click to vote
ICALP
2009
Springer
16 years 8 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...
181
click to vote
EPIA
2007
Springer
16 years 1 months 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...
199
click to vote
IPPS
2003
IEEE
16 years 28 days 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...
179
click to vote
DATE
2000
IEEE
16 years 2 days 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...