2935 search results - page 362 / 587 » An Integrated Approach to High Integrity Software Verificati... |
150
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
171
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Interactive tutorials, like Eclipse's cheat sheets, are good for novice programmers to learn how to perform tasks (e.g., checking out a CVS project) in an Integrated Developm...
162
click to vote
CCE
2011
15 years 1 months ago
2011
This contribution deals with the optimization of the design of reactive distillation columns by using a memetic algorithm (MA) which is a combination of an evolution strategy (ES)...
191
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Recent research in embedded computing indicates that packing multiple processor cores on the same die is an effective way of utilizing the ever-increasing number of transistors. T...
208
click to vote
PADS
2003
ACM
15 years 11 months ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...