1760 search results - page 189 / 352 » Program Analysis Using Weighted Pushdown Systems |
CAIP
2007
Springer
15 years 7 months ago
2007
Springer
A novel approach towards a simplified, though still reliable human vision model based on the spatial masking properties of the human visual system (HVS) is presented. The model con...
120
Voted
SIGADA
2004
Springer
15 years 6 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
MSWIM
2005
ACM
15 years 6 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
102
click to vote
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
116
click to vote
ICML
2010
IEEE
15 years 2 months ago
2010
IEEE
Surprisingly, console logs rarely help operators detect problems in large-scale datacenter services, for they often consist of the voluminous intermixing of messages from many sof...