Sciweavers

2145 search results - page 63 / 429
» Architectural Specifications in CASL
Sort
View
CONCUR
2008
Springer
13 years 10 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
ISCAS
1999
IEEE
94views Hardware» more  ISCAS 1999»
14 years 1 months ago
Designing system on a chip products using systems engineering tools
Systems engineering is the process which takes requirements specifications and engineers products and product families which involve hardware, software and possibly mechanical sub...
Graham R. Hellestrand
KBSE
2008
IEEE
14 years 3 months ago
Effort Estimation in Capturing Architectural Knowledge
Capturing and using design rationale is becoming a hot topic for software architects, as architectural design decisions are now considered first class entities that should be reco...
Rafael Capilla, Francisco Nava, Carlos Carrillo
HICSS
2003
IEEE
165views Biometrics» more  HICSS 2003»
14 years 2 months ago
The Birth of An E-Business System Architecture: Conflicts, Compromises, and Gaps in Methods
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
Kari Smolander
ISCA
2002
IEEE
141views Hardware» more  ISCA 2002»
13 years 8 months ago
SADL: Simulation Architecture Description Language
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
Kenneth G. Ricks, John M. Weirs, B. Earl Wells