3310 search results - page 173 / 662 » Aspect-aware operating system development |
128
click to vote
HPCN
1997
Springer
15 years 7 months ago
1997
Springer
This paper describes a distributed algorithm for Boolean function manipulation. The algorithm is based on Binary Decision Diagrams (BDDs), which are one of the most commonly used ...
131
click to vote
CTW
2002
15 years 3 months ago
2002
: Following celebrated failures stakeholders begin to ask questions about how to improve the systems and processes they operate, manage or depend on. In this process it is easy to ...
113
Voted
ETS
2002
IEEE
15 years 3 months ago
2002
IEEE
Computer simulation is used extensively both as an educational tool and within industry. It can be employed as a means of developing a new process or system or as a means of exper...
136
Voted
PRICAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider the problem of computing optimal plans for propositional planning problems with action costs. In the spirit of leveraging advances in general-purpose automate...
178
Voted
SIMPAR
2010
15 years 2 months ago
2010
From exploring planets to cleaning homes, the reach and versatility of robotics is vast. The integration of actuation, sensing and control makes robotics systems powerful, but comp...