4311 search results - page 323 / 863 » Code Generation for Distributed Systems |
184
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
192
click to vote
IWPC
2006
IEEE
16 years 22 days ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
165
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
{ Mobile and personal communication systems form key market areas for the electronics industry of the nineties. Stringent requirements in terms of
exibility, performance and power...
183
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The development of Web Information Systems(WIS) is a hot research topic both in industry and academia. This paper presents a platform for ontology driven WIS development:...
155
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...