3522 search results - page 247 / 705 » Modeling and Aspect Weaving |
158
click to vote
ICFEM
2009
Springer
16 years 19 days ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
170
click to vote
ICRA
2008
IEEE
16 years 15 days ago
2008
IEEE
— Capitalizing on advances in CMOS and MEMS technologies, microrobots have the potential to dramatically change many aspects of medicine by navigating bodily fluids to perform t...
159
click to vote
MODELS
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
171
click to vote
EUROMICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
152
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...