Sciweavers

1369 search results - page 68 / 274
» Software Architecture with Visual Frameworks
Sort
View
DAC
2002
ACM
14 years 10 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»
14 years 2 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
STEP
2003
IEEE
14 years 2 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
12 years 8 months 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...
COMPUTER
2000
128views more  COMPUTER 2000»
13 years 8 months 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