3837 search results - page 445 / 768 » Learning Approximate Consistencies |
162
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
157
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
182
click to vote
SIGCOMM
2000
ACM
15 years 11 months ago
2000
ACM
We describe a deterministic model of packet delay and use it to derive both the packet pair [2] property of FIFO-queueing networks and a new technique (packet tailgating) for acti...
155
click to vote
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
This case study describes a technique for the three-dimensional analysis of the internal microscopic structure ("microstructure") of materials. This technique consists o...
155
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
We consider a switch module routing problem for symmetric array FPGAs. The work is motivated by two applications. The rst is that of eciently evaluating switch module designs [8]...