1407 search results - page 213 / 282 » Using Use Cases in Executable Z |
106
Voted
EGH
2010
Springer
15 years 18 days ago
2010
Springer
A ray cast algorithm utilizing a hierarchical acceleration structure needs to perform a tree traversal in the hierarchy. In its basic form, executing the traversal requires a stac...
92
Voted
ICML
2008
IEEE
16 years 3 months ago
2008
IEEE
We examine the problem of evaluating a policy in the contextual bandit setting using only observations collected during the execution of another policy. We show that policy evalua...
139
click to vote
POPL
2010
ACM
16 years 2 hour ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
113
Voted
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
High-performance microprocessors, e.g., multithreaded and multicore processors, are being implemented in embedded real-time systems because of the increasing computational require...
129
Voted
IESS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...