2806 search results - page 228 / 562 » BML and Related Tools |
194
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
223
click to vote
UML
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
166
click to vote
SPIN
2004
Springer
16 years 17 days ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
222
click to vote
CLUSTER
2003
IEEE
16 years 16 days ago
2003
IEEE
Debugging the performance of parallel and distributed systems remains a difficult task despite the widespread use of middleware packages for automatic distribution, communication...
207
click to vote
SC
2009
ACM
15 years 12 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...