14190 search results - page 2704 / 2838 » Abstractions for hybrid systems |
127
click to vote
CC
2008
Springer
15 years 22 days ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
102
click to vote
CDC
2008
IEEE
15 years 21 days ago
2008
IEEE
Abstract-- The dynamics of exploration vs exploitation decisions are explored in the context of robotic search problems. Building on prior work on robotic search together with our ...
105
click to vote
ISPASS
2010
IEEE
15 years 21 days ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...
CORR
2008
Springer
15 years 15 days ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
DOLAP
2008
ACM
15 years 15 days ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...