606 search results - page 43 / 122 » Discrete Time Process Algebra |
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
ICML
2006
IEEE
14 years 9 months ago
2006
IEEE
Reinforcement learning (RL) was originally proposed as a framework to allow agents to learn in an online fashion as they interact with their environment. Existing RL algorithms co...
CCGRID
2007
IEEE
14 years 3 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
JNW
2008
13 years 8 months ago
2008
We studied the possibility of using wireless sensor networks for vehicle identification in a large open field. This is exciting research in that it not only presents a challenge bu...
ISLPED
2009
ACM
14 years 3 months ago
2009
ACM
Power management has been a critical issue in the design of embedded systems due to the limited power supply. To prolong the lifetime, energy minimization has been studied under p...