7452 search results - page 215 / 1491 » A Semantics for Multiprocessor Systems |
151
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
125
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
CSCL systems can benefit from using a grid, since it offers a common infrastructure allowing an extended pool of resources that can provide supercomputing capabilities as well as...
144
click to vote
APVIS
2006
15 years 5 months ago
2006
We have many application software today to support reading and writing respectively. However, we believe that few applications available today fully support both reading and writi...
115
click to vote
ENTCS
2002
15 years 4 months ago
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
128
click to vote
ITNG
2007
IEEE
15 years 10 months ago
2007
IEEE
Requirement analysis is an important process in the design and development of information systems. Various tools and methodologies are used to gather the user requirements. These ...