8190 search results - page 1553 / 1638 » From Timed to Hybrid Systems |
160
click to vote
HASKELL
2006
ACM
16 years 7 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
219
click to vote
PODC
2006
ACM
16 years 7 days ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...
199
click to vote
PPOPP
2006
ACM
16 years 7 days ago
2006
ACM
Large-scale simulations and computational modeling using molecular dynamics (MD) continues to make significant impacts in the field of biology. It is well known that simulations...
172
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
Technology Roadmap for Semiconductors (ITRS) clearly identifies the integration of electrochemical and electrobiological techniques as one of the system-level design challenges tha...
197
click to vote
LCN
2005
IEEE
15 years 12 months ago
2005
IEEE
— The problem of achieving fairness in the allocation of the bandwidth resource on a link shared by multiple flows of traffic has been extensively researched over the last deca...