Sciweavers

2076 search results - page 171 / 416
» Kauffman networks: analysis and applications
Sort
View
DAC
1996
ACM
15 years 10 months ago
Glitch Analysis and Reduction in Register Transfer Level
: We presentdesign-for-low-power techniques based on glitch reduction for register-transfer level circuits. We analyze the generation and propagation of glitches in both the contro...
Anand Raghunathan, Sujit Dey, Niraj K. Jha
FORTE
2008
15 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
TITB
2008
156views more  TITB 2008»
15 years 6 months ago
Large-Scale Biomedical Image Analysis in Grid Environments
Abstract--This paper presents the application of a componentbased Grid middleware system for processing extremely large images obtained from digital microscopy devices. We have dev...
Vijay S. Kumar, Benjamin Rutt, Tahsin M. Kur&ccedi...
SEMCO
2007
IEEE
16 years 22 days ago
Lexical and Discourse Analysis of Online Chat Dialog
One of the ultimate goals of natural language processing (NLP) systems is understanding the meaning of what is being transmitted, irrespective of the medium (e.g., written versus ...
Eric N. Forsythand, Craig H. Martell
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
15 years 10 months ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...