2836 search results - page 404 / 568 » Model Checking for Software Architectures |
187
click to vote
SBCCI
2003
ACM
16 years 9 hour ago
2003
ACM
Network on Chip (NoC) is a new paradigm for designing core based System on Chips. It supports high degree of reusability and is scalable. In this paper, an efficient Two-Step Gene...
174
click to vote
UIST
2006
ACM
16 years 21 days ago
2006
ACM
With the availability of affordable new desktop fabrication techniques such as 3D printing and laser cutting, physical models are used increasingly often during the architectural ...
200
click to vote
ISORC
2005
IEEE
16 years 10 days ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
144
Voted
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
The Rocks toolkit [9], [7], [10] uses a graph-based framework to describe the configuration of all node types (termed appliances) that make up a complete cluster. With hundreds of...
166
Voted
EDBTW
2010
Springer
15 years 12 months ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...