412 search results - page 9 / 83 » RATSY - A New Requirements Analysis Tool with Synthesis |
166
click to vote
SCN
2011
Springer
14 years 8 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
132
click to vote
GI
2009
Springer
14 years 11 months ago
2009
Springer
Abstract: Stroke is the second most common cause of death and major cause of disability worldwide. Approx. 20% of cerebral strokes are caused by hemorrhages due to rupture of cereb...
120
click to vote
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
142
click to vote
INTEGRATION
2008
15 years 1 months ago
2008
With the growing complexity in consumer embedded products, new tendencies forecast heterogeneous Multi-Processor SystemsOn-Chip (MPSoCs) consisting of complex integrated component...
115
click to vote
AUTOMATICA
2005
15 years 1 months ago
2005
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...