2836 search results - page 365 / 568 » Model Checking for Software Architectures |
204
click to vote
WISE
2003
Springer
16 years 8 days ago
2003
Springer
Service-Oriented Computing (SOC) is the computing paradigm that utilizes services as fundamental elements for developing applications/solutions. To build the service model, SOC re...
193
Voted
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
To make efficient use of CMPs with tens to hundreds of cores, it is often necessary to exploit fine-grain parallelism. However, managing tasks of a few thousand instructions is ...
231
Voted
MICRO
2003
IEEE
16 years 8 days ago
2003
IEEE
A virtual instruction set architecture (V-ISA) implemented via a processor-specific software translation layer can provide great flexibility to processor designers. Recent examp...
196
Voted
C3S2E
2009
ACM
16 years 1 months ago
2009
ACM
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called “services”. When applying SOA to...
187
click to vote
MICRO
2006
IEEE
16 years 1 months ago
2006
IEEE
Secure processor architecture enables tamper-proof protection on software that addresses many difficult security problems such as reverse-engineering prevention, trusted computing...