Sciweavers

485 search results - page 49 / 97
» Integrity and Integration Issues for Nano-Tube Based Interco...
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 5 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
NANONET
2009
Springer
199views Chemistry» more  NANONET 2009»
15 years 4 months ago
Through Silicon Via-Based Grid for Thermal Control in 3D Chips
3D stacked chips have become a promising integration technology for modern systems. The complexity reached in multi-processor systems has increased the communication delays between...
José L. Ayala, Arvind Sridhar, Vinod Pangra...
RTSS
1996
IEEE
15 years 4 months ago
A framework for implementing objects and scheduling tasks in lock-free real-time systems
We present an integrated framework for developing realtime systems in which lock-free algorithms are employed to implement shared objects. There are two key objectives of our work...
James H. Anderson, Srikanth Ramamurthy
IPPS
2007
IEEE
15 years 6 months ago
Model and Methodology for the Synthesis of Heterogeneous and Partially Reconfigurable Systems
When reconfigurable devices are used in modern embedded systems and their capability to adapt to changing application requirements becomes an issue, comprehensive modeling and de...
Florian Dittmann, Marcelo Götz, Achim Rettber...
AGILE
2007
Springer
184views GIS» more  AGILE 2007»
15 years 6 months ago
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
Rolf Grütter, Bettina Bauer-Messmer