Sciweavers

2210 search results - page 194 / 442
» Applying a Model-based Approach for Embedded System Developm...
Sort
View
129
Voted
TOCS
2008
131views more  TOCS 2008»
15 years 3 months ago
A generic component model for building systems software
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...
Geoff Coulson, Gordon S. Blair, Paul Grace, Fran&c...
144
Voted
ADC
2008
Springer
146views Database» more  ADC 2008»
15 years 9 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
130
Voted
CORR
2008
Springer
144views Education» more  CORR 2008»
15 years 3 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
DSD
2005
IEEE
106views Hardware» more  DSD 2005»
15 years 9 months ago
SystemC-based Design Methodology for Reconfigurable System-on-Chip
Reconfigurable system is a promising alternative to deliver both flexibility and performance at the same time. New reconfigurable technologies and technologydependent tools have b...
Yang Qu, Kari Tiensyrjä, Juha-Pekka Soininen
113
Voted
CDC
2008
IEEE
100views Control Systems» more  CDC 2008»
15 years 10 months ago
A structure preserving minimal representation of a nonlinear port-Hamiltonian system
— In this paper an approach to reduce nonlinear non-observable and non-strongly accessible port-Hamiltonian systems to an observable and strongly accessible portHamiltonian syste...
Jacquelien M. A. Scherpen, Arjan van der Schaft