Sciweavers

3340 search results - page 254 / 668
» Teaching networking hardware
Sort
View
EUROCAST
2007
Springer
131views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Efficient Model Checking of Applications with Input/Output
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...
Cyrille Artho, Boris Zweimüller, Armin Biere,...
FPL
2000
Springer
95views Hardware» more  FPL 2000»
15 years 10 months ago
It's FPL, Jim - But Not as We Know It! Opportunities for the New Commercial Architectures
Following the simple Programmable Logic Device (SPLD) and Field Programmable Gate Array (FPGA) generations a third generation of programmable logic technologies is now reaching the...
Tom Kean
ICECCS
1995
IEEE
114views Hardware» more  ICECCS 1995»
15 years 10 months ago
A performance oriented design methodology for large-scale distributed data intensive information systems
The Earth Observing System (EOS) Data and Information System (EOSDIS) is perhaps one of the most important examples of a large-scale, geographicallydistributed, and data-intensive...
Daniel A. Menascé, Hassan Gomaa, Larry Kers...
COMPSYSTECH
2010
15 years 6 months ago
An approach for node identification and key management in sensor grids
Security of sensor grids is important especially for surveillance, military and medical applications. The paper addresses methods for two security features. First, an approach for ...
Iliya Georgiev
SIGMETRICS
2008
ACM
15 years 6 months ago
Fluid level in a reservoir with an on-off source
We obtain the Laplace transform of the fluid level probability density function, in terms of the on-period density function, for a fluid queue (or reservoir) with on-off input at ...
Varun Gupta, Peter G. Harrison