7961 search results - page 84 / 1593 » Input-Output Model Programs |
148
Voted
JMLR
2008
15 years 2 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
98
Voted
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
95
Voted
EPIA
1995
Springer
15 years 6 months ago
1995
Springer
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...
142
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
104
click to vote
ICPPW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper emphasizes on load balancing issues associated with hybrid programming models for the parallelization of fully permutable nested loops onto SMP clusters. Hybrid paralle...