7274 search results - page 92 / 1455 » Abstractions for network update |
102
Voted
ASYNC
2000
IEEE
15 years 5 months ago
2000
IEEE
Fault Abstraction and Collapsing Framework for Asynchronous Circuits Philip P. Shirvani, Subhasish Mitra Center for Reliable Computing Stanford University Stanford, CA Jo C. Eberge...
118
click to vote
ATVA
2004
Springer
15 years 6 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
193
click to vote
ETVC
2008
15 years 2 months ago
2008
s of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing Frank Nielsen Ecole Polytechnique, Palaiseau, France Sony CSL, Tokyo, Japan Abstract. We list the abstracts o...
87
Voted
JOCN
2010
14 years 11 months ago
2010
or the Abstract Representation of Numerical Magnitude Ian D. Holloway1,2 and Daniel Ansari1,2 use number is an abstract quality of a set, the way in which a number is externally r...
89
Voted
IJFCS
2006
15 years 23 days ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...