2278 search results - page 262 / 456 » Specification Techniques for Automatic Performance Analysis ... |
184
Voted
TC
2010
15 years 4 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
153
click to vote
IV
2007
IEEE
16 years 13 days ago
2007
IEEE
High-dimensional data is, by its nature, difficult to visualise. Many current techniques involve reducing the dimensionality of the data, which results in a loss of information. ...
183
Voted
FASE
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
179
Voted
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
Use-after-free vulnerabilities are rapidly growing in popularity, especially for exploiting web browsers. Use-afterfree (and double-free) vulnerabilities are caused by a program o...
166
Voted
ESWS
2006
Springer
15 years 9 months ago
2006
Springer
A key argument for modeling knowledge in ontologies is the easy re-use and re-engineering of the knowledge. However, beside consistency checking, current ontology engineering tools...