3307 search results - page 616 / 662 » The meaning of concurrent programs |
155
click to vote
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
d Abstract) Kousha Etessami LFCS, School of Informatics University of Edinburgh Mihalis Yannakakis Department of Computer Science Columbia University We reexamine what it means to...
131
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
128
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract- The large majority of existing clustering algorithms are centered around the notion of a feature, that is, individual data items are represented by their intrinsic proper...
156
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
133
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...