2836 search results - page 471 / 568 » Model Checking for Software Architectures |
156
click to vote
SCOPES
2004
Springer
15 years 11 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
187
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...
176
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
160
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Management of large data repositories integrated into the Grid poses new challenges for Grid research. There already exist several successful Data Grid projects addressing process...
171
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...