10275 search results - page 235 / 2055 » Case Studies of Autonomy |
189
click to vote
MSR
2010
ACM
15 years 8 months ago
2010
ACM
-- A bug-tracking system such as Bugzilla contains bug reports (BRs) collected from various sources such as development teams, testing teams, and end users. When bug reporters subm...
151
click to vote
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...
157
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
213
click to vote
CSEE
2008
Springer
15 years 8 months ago
2008
Springer
In order to attend the industry needs, it is necessary to provide more practical issues of real software development in the academic curricula. This paper describes an educational...