1350 search results - page 136 / 270 » Reasoning about Staged Computation |
193
Voted
HPDC
1994
IEEE
15 years 9 months ago
1994
IEEE
Finding genes unequivocally in DNA sequences is one of the key goals of the Human Genome project. The human genome is a 9 billion character long DNA sequence and is estimated to c...
197
click to vote
CONCUR
1994
Springer
15 years 9 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
136
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
179
click to vote
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
In wireless sensor networks with many-to-one transmission mode, a multi-objective TDMA (Time Division Multiple Access) scheduling model is presented, which concerns about the packe...
181
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...