Sciweavers

2035 search results - page 349 / 407
» On the complexity of stratified logics
Sort
View
ISCA
2000
IEEE
78views Hardware» more  ISCA 2000»
15 years 2 months ago
Vector instruction set support for conditional operations
Vector instruction sets are receiving renewed interest because of their applicability to multimedia. Current multimedia instruction sets use short vectors with SIMD implementation...
James E. Smith, Greg Faanes, Rabin A. Sugumar
ISORC
2000
IEEE
15 years 2 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
DATE
2010
IEEE
139views Hardware» more  DATE 2010»
15 years 2 months ago
Finding reset nondeterminism in RTL designs - scalable X-analysis methodology and case study
Due to increases in design complexity, routing a reset signal to all registers is becoming more difficult. One way to solve this problem is to reset only certain registers and rely...
Hong-Zu Chou, Haiqian Yu, Kai-Hui Chang, Dylan Dob...
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
15 years 24 days ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...
ASWC
2008
Springer
15 years 24 days ago
Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
Maciej Zurawski, Alan Smaill, Dave Robertson