7890 search results - page 1278 / 1578 » The MathSAT 3 System |
145
click to vote
ISCAS
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper introduces a novel low-power digital future, are expected to run at frequencies beyond 10 MHz. In controller for high frequency dc-dc switch-mode power supplies addition...
153
click to vote
IWIA
2006
IEEE
16 years 22 days ago
2006
IEEE
The recent outbreaks of extremely fast spreading worms highlight the inadequacy of the current patching approach. Intrusion prevention systems (IPSs) that automatically generate a...
204
click to vote
QEST
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
207
Voted
RSP
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
162
click to vote
TRIDENTCOM
2006
IEEE
16 years 21 days ago
2006
IEEE
— Telecommunication networks have rapidly added staggering amounts of capacity to their long haul networks at low costs per bit using DWDM technologies. Concurrently, there has b...