3507 search results - page 463 / 702 » Specialized execution environments |
204
Voted
ASWEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
198
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- In this paper, we consider the problem of mobile robots navigating in environments with non-rigid objects. Whereas robots can plan their paths more effectively when they...
163
click to vote
GRID
2010
Springer
15 years 4 months ago
2010
Springer
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
179
click to vote
JISE
2010
15 years 1 months ago
2010
abstraction for ubiquitous computing. The key to service modeling of SOA-based systems is in classifying services into business, application, and orchestration layers. However, ser...
199
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
One of the greatest challenges in computational chemistry is the design of enzymes to catalyze non-natural chemical reactions. We focus on harnessing the distributed parallel comp...