1738 search results - page 211 / 348 » Leveraging open-source software in the design and developmen... |
151
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
153
Voted
ASE
1999
15 years 4 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
141
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
System-on-chip (SoC) designs have the potential to change the way we organize computation. This potential has gone unrealized. Future SoCs will have multiple heterogeneous process...
127
Voted
SERP
2003
15 years 6 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
135
click to vote
VIS
2005
IEEE
16 years 5 months ago
2005
IEEE
High resolution volumes require high precision compositing to preserve detailed structures. This is even more desirable for volumes with high dynamic range values. After the high ...