1739 search results - page 144 / 348 » Writing Good Software Engineering Research Paper |
113
Voted
CODES
2006
IEEE
15 years 2 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
115
click to vote
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
127
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
98
Voted
ICHIT
2009
Springer
15 years 7 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
109
Voted
EUROMICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...