3473 search results - page 349 / 695 » Aspect-Oriented Programming with C |
152
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
185
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
- In this paper, we analyze the impact of network contention on the application mapping for tile-based Networkon-Chip (NoC) architectures. Our main theoretical contribution consist...
172
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...
176
click to vote
APSEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper describes a controlled experiment of student programmers performing maintenance tasks on a C++ program. The goal of the study is to assess the maintenance size, effo...
152
Voted
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Text messaging on interactive television in Italy is a media convergence phenomenon involving short message service, traditional television, and the World Wide Web. This study inv...