2586 search results - page 381 / 518 » Automatic Abstraction for Congruences |
150
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
146
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— This work presents an infrastructure that simplifies the development of distributed applications that can adapt automatically to nonfunctional properties of their comp...
150
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— Tracked mobile robots in the 20 kg size class are under development for applications in urban reconnaissance. For efficient deployment, it is desirable for teams of ro...
186
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
168
click to vote
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The Live Social Semantics is an innovative application that encourages and guides social networking between researchers at conferences and similar events. The application...