15253 search results - page 281 / 3051 » Integer-Programming Software Systems |
163
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
185
click to vote
APVIS
2006
15 years 8 months ago
2006
Software systems have become increasingly complex over the years. Complexity metrics measures software complexity using real numbers. It is, however, hard to gain insight into dif...
197
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Concurrent verification of hardware and software as part of the development process can shorten the time to market of complex systems. The objectives of the Virtual CPU approach i...
186
click to vote
PDPTA
2000
15 years 8 months ago
2000
Developers of programs for distributed systems spend considerable time designing solutions to various complex decision-making problems. The work described in this paper applies th...
208
click to vote
ICSR
2011
Springer
14 years 10 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...