15253 search results - page 400 / 3051 » Integer-Programming Software Systems |
189
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
194
Voted
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
193
Voted
ACHI
2008
IEEE
16 years 1 months ago
2008
IEEE
—In the framework of the European Integrated Project PALETTE, the École Polytechnique Fédérale de Lausanne (EPFL) is developing the eLogbook Web 2.0 social software. The purpo...
192
click to vote
P2P
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a content delivery infrastructure distributing and maintaining software packages in a large organization. Our work based on a trace-based analysis of an existing softwa...
166
click to vote
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
When a program uses Software Transactional Memory (STM) to synchronize accesses to shared memory, the performance often depends on which STM implementation is used. Implementation...