259 search results - page 21 / 52 » An Exploration in the Space of Mathematical Knowledge |
111
click to vote
INTERACT
2003
15 years 3 months ago
2003
: Constructed Narratives is both a human computer interaction research project and interactive art exploration that demonstrates methods by which rigorous research and aesthetic an...
DAC
2005
ACM
16 years 2 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
145
click to vote
DB
2008
15 years 1 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
128
click to vote
VIS
2007
IEEE
16 years 3 months ago
2007
IEEE
Just as we can work with two-dimensional floor plans to communicate 3D architectural design, we can exploit reduced-dimension shadows to manipulate the higher-dimensional objects ...
129
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...