518 search results - page 23 / 104 » Tool Presentation: Teaching Concurrency and Model Checking |
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
WSC
2008
13 years 9 months ago
2008
One of the most important challenges for mining engineers is to correctly analyze and generate short-term planning schedules, or simply month mining plan. The objective is to demo...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
As technology scales down, the static power is expected to become a significant fraction of the total power. The exponential dependence of static power with the operating temperat...
ICSE
2010
IEEE-ACM
14 years 9 days ago
2010
IEEE-ACM
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...