748 search results - page 57 / 150 » concurrency 2008 |
127
click to vote
JOT
2008
15 years 18 days ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
WSC
2008
15 years 3 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...
92
Voted
ACIVS
2008
Springer
15 years 7 months ago
2008
Springer
The paper proposes a new parallel connected-component-tree construction algorithm based on line independent building and progressive merging of partial 1-D trees. Two parallelizati...
102
Voted
JOT
2008
15 years 18 days ago
2008
Object-oriented programming languages are being widely adopted as one of the most powerful languages due their flexibility and reusability. However, these languages suffer from me...
89
Voted
TVLSI
2008
15 years 16 days ago
2008
Lifetime concerns for complex systems-on-a-chip (SoC) designs due to decreasing levels in reliability motivate the development of solutions to ensure reliable operation. A precurso...