Sciweavers

1042 search results - page 14 / 209
» Synthesis of Software Programs for Embedded Control Applicat...
Sort
View
ECOOP
2003
Springer
14 years 27 days ago
Open APIs for Embedded Security
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
Carl A. Gunter
POPL
2007
ACM
14 years 8 months ago
From implementation to theory in product synthesis
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
Don S. Batory
DAC
2003
ACM
14 years 8 months ago
Dynamic hardware/software partitioning: a first approach
Partitioning an application among software running on a microprocessor and hardware co-processors in on-chip configurable logic has been shown to improve performance and energy co...
Greg Stitt, Roman L. Lysecky, Frank Vahid
CCE
2010
13 years 5 months ago
Scope for the application of mathematical programming techniques in the synthesis and planning of sustainable processes
Sustainability has recently emerged as a key issue in process systems engineering (PSE). Mathematical programming techniques offer a general modeling framework for including enviro...
Ignacio E. Grossmann, Gonzalo Guillén-Gos&a...
ET
2008
92views more  ET 2008»
13 years 7 months ago
Hardware and Software Transparency in the Protection of Programs Against SEUs and SETs
Processor cores embedded in systems-on-a-chip (SoCs) are often deployed in critical computations, and when affected by faults they may produce dramatic effects. When hardware harde...
Eduardo Luis Rhod, Carlos Arthur Lang Lisbôa...