Sciweavers

1369 search results - page 68 / 274
» Software Architecture with Visual Frameworks
Sort
View
114
Voted
DAC
2002
ACM
16 years 1 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
ECBS
2005
IEEE
124views Hardware» more  ECBS 2005»
15 years 6 months ago
Towards a Demand Driven, Autonomous Processing and Streaming Architecture
This paper describes SOPA, a component framework that is an essential part of the lecture recording system E-Chalk. It envisages a general processing and streaming architecture fe...
Gerald Friedland, Karl Pauls
115
Voted
STEP
2003
IEEE
15 years 5 months ago
Transforming Legacy Web Applications to the MVC Architecture
With the rapid changes that occur in the area of Web technologies, the porting and adaptation of existing Web applications into new platforms that take advantage of modern technol...
Yu Ping, Kostas Kontogiannis, Terence C. Lau
EMSOFT
2011
Springer
14 years 11 days ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
118
Voted
COMPUTER
2000
128views more  COMPUTER 2000»
15 years 13 days ago
What's Ahead for Embedded Software?
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
Edward A. Lee