4047 search results - page 665 / 810 » Algebraic Model Checking |
199
click to vote
IPPS
2009
IEEE
16 years 21 days ago
2009
IEEE
Linear algebra algorithms are fundamental to many computing applications. Modern GPUs are suited for many general purpose processing tasks and have emerged as inexpensive high per...
146
click to vote
FSEN
2009
Springer
16 years 19 days ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
163
click to vote
GECCO
2009
Springer
16 years 19 days ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
159
click to vote
EICS
2009
ACM
16 years 17 days ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
140
click to vote
HASE
2008
IEEE
16 years 15 days ago
2008
IEEE
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...