1188 search results - page 36 / 238 » Design space exploration revisited |
114
click to vote
CHI
2005
ACM
15 years 3 months ago
2005
ACM
The distortion caused by an interactive fisheye lens can make it difficult for people to remember items and locations in the data space. In this paper we introduce the idea of vis...
DESIRE
2010
14 years 8 months ago
2010
Despite parallels between the structure of poetry composition tasks and design tasks, there appears to be no previous research exploring the consequences of these correspondences ...
118
click to vote
APN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
104
click to vote
ASYNC
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
EUROCAST
2007
Springer
15 years 5 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...