7526 search results - page 290 / 1506 » The Design and Implementation of the A2QM3 System |
163
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
196
click to vote
CSMR
2008
IEEE
15 years 8 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
162
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Mobile information community develops quickly, as mobile telecommunication technology matches to the third generation. XML-based GIS becomes a global standard and the foundation. R...
159
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Media processing systems often have limited resources and strict performance requirements. An implementation must meet those design constraints while minimizing resource...
197
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
We present an approach to partitioning and mapping for multicluster embedded systems consisting of time-triggered and eventtriggered clusters, interconnected via gateways. We have...