2255 search results - page 262 / 451 » High Assurance Software Systems |
161
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
163
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
Due to continuous improvements in the resources available on FPGAs, it is becoming increasingly possible to accelerate floating point algorithms. The solution of a system of linea...
182
click to vote
WSC
1997
15 years 7 months ago
1997
SiMPLE++ is an object-oriented simulation environment for modeling all types of manufacturing, logistics and service systems. AESOP’s SiMPLE++ is a fully object-oriented impleme...
204
click to vote
FEDCSIS
2011
14 years 6 months ago
2011
Abstract—The Future Internet will be a complex interconnection of services, applications, content and media, on which our society will become increasingly dependent. Time to mark...
192
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...