2838 search results - page 319 / 568 » Verifying Controlled Components |
100
Voted
ICSE
2003
IEEE-ACM
16 years 27 days ago
2003
IEEE-ACM
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...
86
Voted
PERCOM
2006
ACM
16 years 12 days ago
2006
ACM
Molecular communication is a new communication paradigm and uses molecules as a communication carrier. In molecular communication, information is encoded onto molecules at senders...
68
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In this paper we present a design study and technical specifications of a high performance robotic manipulator to be used for ball catching experiments using commercia...
123
click to vote
PADL
2007
Springer
15 years 7 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
89
Voted
TGC
2007
Springer
15 years 7 months ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...