Sciweavers

5972 search results - page 883 / 1195
» Extending Design Environments to Software Architecture Desig...
Sort
View
IADIS
2003
15 years 8 months ago
Computing Migration Through Context Awareness and Context Transmission
With the development of wireless communication and portable devices, people can now enjoy the benefits of mobile computing. But due to the nature and design of portable devices, i...
Zhaohui Cheng, Kenneth Chin, Yuan Luo
AIPS
1994
15 years 8 months ago
Becoming Increasingly Reliable
Autonomousmobile robots need to detect potential failures reliably and react appropriately. Dueto uncertainties about the robots and their environment,it is extremelydifficult to ...
Reid G. Simmons
LCTRTS
2007
Springer
16 years 25 days ago
Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration o
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
Richard Vincent Bennett, Alastair Colin Murray, Bj...
FOSSACS
1999
Springer
15 years 11 months ago
A Strong Logic Programming View for Static Embedded Implications
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
R. Arruabarrena, Paqui Lucio, Marisa Navarro
ASWSD
2004
Springer
16 years 3 days ago
Simulink Integration of Giotto/TDL
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
Wolfgang Pree, Gerald Stieglbauer, Josef Templ