2836 search results - page 306 / 568 » Model Checking for Software Architectures |
158
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
: Grid is an infrastructure that involves the integrated and collaborative use of computers, networks, databases and scientific instruments owned and managed by multiple organizati...
148
click to vote
FPGA
2008
ACM
15 years 6 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
149
click to vote
TAAS
2010
14 years 11 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
157
click to vote
CASES
2003
ACM
15 years 10 months ago
2003
ACM
Recent research in sensor networks has raised issues of security for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices...
148
click to vote
ARCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...