2713 search results - page 224 / 543 » Parameterized Tree Systems |
142
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
149
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Since typical evolutionary design systems encode only a single artifact with each individual, each time the objective changes a new set of individuals must be evolved. Wh...
157
click to vote
ISSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
157
Voted
PLILP
1998
Springer
15 years 9 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
134
click to vote
CASES
2008
ACM
15 years 7 months ago
2008
ACM
While soft processors are increasingly common in FPGAbased embedded systems, it remains a challenge to scale their performance. We propose extending soft processor instruction set...