1407 search results - page 252 / 282 » Using Use Cases in Executable Z |
124
click to vote
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract. This paper introduces ThreadMill - a distributed and parallel component architecture for applications that process large volumes of streamed (time-sequenced) data, such a...
123
Voted
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Simulating chip-multiprocessor systems (CMP) can take a long time. For single-threaded workloads, earlier work has shown the utility of phase analysis, that is identification of r...
182
click to vote
WSC
2001
15 years 3 months ago
2001
Tactical and operational planning for manufacturing enterprises are more important today than ever before as their supply chains span the globe. Two state-of-the-art technologies ...
159
click to vote
AI
2011
Springer
14 years 9 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
113
Voted
IEEEPACT
2008
IEEE
15 years 8 months ago
2008
IEEE
Chip Multiprocessors (CMPs) allow different applications to concurrently execute on a single chip. When applications with differing demands for memory compete for a shared cache, ...