653 search results - page 85 / 131 » Embedded software generation from system level design langua... |
PLDI
2000
ACM
15 years 2 months ago
2000
ACM
We describe the design and implementation of Dynamo, a software dynamic optimization system that is capable of transparently improving the performance of a native instruction stre...
TSE
1998
14 years 9 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
ECBS
1999
IEEE
15 years 2 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
VL
2003
IEEE
15 years 3 months ago
2003
IEEE
An idea of automatic generation of Web applications from templates has been proposed [1, 2, 3, 4]. A software system called T-Web system has been implemented based on the idea to ...