Sciweavers

3706 search results - page 90 / 742
» KtSeqC: System Description
Sort
View
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
15 years 11 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
15 years 11 months ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
ECBS
2004
IEEE
153views Hardware» more  ECBS 2004»
15 years 10 months ago
Architectural Description with Integrated Data Consistency Models
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
Peter Tabeling
UML
2000
Springer
15 years 10 months ago
Towards a UML Profile for Software Architecture Descriptions
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
Mohamed Mancona Kandé, Alfred Strohmeier
GISCIENCE
2010
Springer
171views GIS» more  GISCIENCE 2010»
15 years 7 months ago
A Visibility and Spatial Constraint-Based Approach for Geopositioning
Over the past decade, automated systems dedicated to geopositioning have been the object of considerable development. Despite the success of these systems for many applications, th...
Jean-Marie Le Yaouanc, Eric Saux, Christophe Clara...