7527 search results - page 225 / 1506 » Design and implementation of the KioskNet system |
133
click to vote
RSP
1999
IEEE
15 years 10 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
170
click to vote
EH
2000
IEEE
15 years 10 months ago
2000
IEEE
The differences between electronics design through artificial evolution and through conventional methods have the consequence that evolved circuits may take unusual leverage from ...
177
click to vote
PODC
2004
ACM
15 years 12 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
205
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
152
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids. We present the design of SymGrid-Par, which supports multiple compute...