8810 search results - page 1606 / 1762 » Open. Closed. Open |
163
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
160
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
A few years ago a portal for bachelor and master theses from Flemish university colleges was established by means of the open source repository software DoKS. At present approxima...
195
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
Two international scientific publishers collaborated to develop an Online Submission and Peer Review System (OSPREY) for their journals. Our goals were to meet market demand, incr...
173
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
204
click to vote
CF
2010
ACM
15 years 10 months ago
2010
ACM
Studies have shown much of today’s data centers are over-provisioned and underutilized. Over-provisioning cannot be avoided as these centers must anticipate peak load with burst...