4151 search results - page 231 / 831 » Language Driven System Design |
120
Voted
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
126
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
166
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
142
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
138
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...