3521 search results - page 521 / 705 » Algorithmic Control in Concurrent Computations |
105
Voted
CF
2004
ACM
15 years 9 months ago
2004
ACM
Network attached disk storage is characterized by independent network attachment and embedded intelligence. For Internet applications, it provides the key functionality of geograp...
172
Voted
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
170
Voted
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
129
Voted
ICPP
2002
IEEE
15 years 8 months ago
2002
IEEE
Code size expansion of software-pipelined loops is a critical problem for DSP systems with strict code size constraint. Some ad-hoc code size reduction techniques were used to try...
144
Voted
CSL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ...