1890 search results - page 59 / 378 » Model-Based Testing in Practice |
HASE
2002
IEEE
15 years 4 months ago
2002
IEEE
The Japanese computer industry in 1990s was hit with two major shocks at the same time. One shock was the drastic reform of computers and of network. The other shock was from the ...
110
click to vote
CONEXT
2007
ACM
15 years 3 months ago
2007
ACM
Deterministic finite automata (DFAs) are widely used to perform regular expression matching in linear time. Several techniques have been proposed to compress DFAs in order to redu...
111
click to vote
ISLPED
2007
ACM
15 years 1 months ago
2007
ACM
Negative bias temperature instability (NBTI) has become a dominant reliability concern for nanoscale PMOS transistors. In this paper, we propose variable-latency adder (VL-adder) ...
AAAI
2006
15 years 1 months ago
2006
This paper describes a novel negotiation protocol for cellular networks, which intelligently improves the performance of the network. Our proposed reactive mechanism enables the d...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...