Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
33,525
The nesC language: A holistic approach to networked embedded systems
- In Proceedings of Programming Language Design and Implementation (PLDI
, 2003
"... We present nesC, a programming language for networked embedded systems that represent a new design space for application developers. An example of a networked embedded system is a sensor network, which consists of (potentially) thousands of tiny, lowpower “motes, ” each of which execute concurrent, ..."
Abstract
-
Cited by 943 (48 self)
- Add to MetaCart
We present nesC, a programming language for networked embedded systems that represent a new design space for application developers. An example of a networked embedded system is a sensor network, which consists of (potentially) thousands of tiny, lowpower “motes, ” each of which execute concurrent
Automatic Symbolic Verification of Embedded Systems
, 1996
"... We present a model-checking procedure and its implementation for the automatic verification of embedded systems. The system components are described as Hybrid Automata -- communicating machines with finite control and real-valued variables that represent continuous environment parameters such as tim ..."
Abstract
-
Cited by 330 (24 self)
- Add to MetaCart
We present a model-checking procedure and its implementation for the automatic verification of embedded systems. The system components are described as Hybrid Automata -- communicating machines with finite control and real-valued variables that represent continuous environment parameters
EMBEDDED SYSTEMS
, 2014
"... Salam Hajjar. Safe design method of embedded systems based on COTS. Other. INSA de ..."
Abstract
- Add to MetaCart
Salam Hajjar. Safe design method of embedded systems based on COTS. Other. INSA de
Embedded Systems
"... In the recent years, embedded systems have become so complex that the development and testing time is becoming extremely time consuming. As embedded systems include more and more functions for new services, embedded systems are presenting challenges with respect to the attributes of security, scalab ..."
Abstract
- Add to MetaCart
In the recent years, embedded systems have become so complex that the development and testing time is becoming extremely time consuming. As embedded systems include more and more functions for new services, embedded systems are presenting challenges with respect to the attributes of security
FOR EMBEDDED SYSTEMS By
, 2003
"... It is well-known that requirements modeling and analysis is one of the most dif-ficult tasks in the software development process, but this problem is greatly exac-erbated for embedded systems given the hardware constraints and the potentially complex control logic. This research investigates how an ..."
Abstract
- Add to MetaCart
It is well-known that requirements modeling and analysis is one of the most dif-ficult tasks in the software development process, but this problem is greatly exac-erbated for embedded systems given the hardware constraints and the potentially complex control logic. This research investigates how
and embedded systems
"... Harvesting energy from the environment is a desirable and increasingly important capability in several emerging applications of embedded systems such as sensor networks, biomedical implants, etc. While energy harvesting has the potential to enable near-perpetual system operation, designing an effici ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
Harvesting energy from the environment is a desirable and increasingly important capability in several emerging applications of embedded systems such as sensor networks, biomedical implants, etc. While energy harvesting has the potential to enable near-perpetual system operation, designing
Embedded Systems
, 2008
"... In the past decade, real-time embedded systems have become much more complex due to the introduction of a lot of new functionality in one application, and due to running multiple applications concurrently. This increases the dynamic nature of today’s applications and systems, and tightens the requir ..."
Abstract
- Add to MetaCart
In the past decade, real-time embedded systems have become much more complex due to the introduction of a lot of new functionality in one application, and due to running multiple applications concurrently. This increases the dynamic nature of today’s applications and systems, and tightens
The Embedded Systems Design Challenge
- Proceedings of the 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science
, 2006
"... Abstract. We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap between safetycritical and best-effort engineering practices. We call for a coherent scientific foundation for ..."
Abstract
-
Cited by 87 (2 self)
- Add to MetaCart
Abstract. We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap between safetycritical and best-effort engineering practices. We call for a coherent scientific foundation
and embedded systems.
"... Partitioning an application among software running on a microprocessor and hardware co-processors in on-chip configurable logic has been shown to improve performance and energy consumption in embedded systems. Meanwhile, dynamic software optimization methods have shown the usefulness and feasibility ..."
Abstract
- Add to MetaCart
Partitioning an application among software running on a microprocessor and hardware co-processors in on-chip configurable logic has been shown to improve performance and energy consumption in embedded systems. Meanwhile, dynamic software optimization methods have shown the usefulness
Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems
, 2001
"... In recent years, there has been a rapid and wide spread of nontraditional computing platforms, especially mobile and portable computing devices. As applications become increasingly sophisticated and processing power increases, the most serious limitation on these devices is the available battery lif ..."
Abstract
-
Cited by 501 (4 self)
- Add to MetaCart
the necessary peak computation power in general-purpose systems. However, for a large class of applications in embedded real-time systems like cellular phones and camcorders, the variable operating frequency interferes with their deadline guarantee mechanisms, and DVS in this context, despite its growing
Results 1 - 10
of
33,525
