Sciweavers

5241 search results - page 760 / 1049
» Embedded Programming with C
Sort
View
ASWEC
2008
IEEE
16 years 1 months ago
Construction by Configuration: Challenges for Software Engineering Research and Practice
The past ten years have seen a radical shift in business application software development. Rather than developing software from scratch using a conventional programming language, ...
Ian Sommerville
165
Voted
NOCS
2007
IEEE
16 years 28 days ago
Towards Open Network-on-Chip Benchmarks
Measuring and comparing performance, cost, and other features of advanced communication architectures for complex multi core/multiprocessor systems on chip is a significant challe...
Cristian Grecu, André Ivanov, Partha Pratim...
CCS
2007
ACM
16 years 26 days ago
Universally composable and forward-secure RFID authentication and authenticated key exchange
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
Tri Van Le, Mike Burmester, Breno de Medeiros
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
16 years 23 days ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
GLOBECOM
2006
IEEE
16 years 22 days ago
A Location-Based Vertical Handoff Decision Algorithm for Heterogeneous Mobile Networks
— Next-generation mobile communication systems will provide “always best connected” services to mobile users via cellular networks that provide wide area coverage for global ...
Jie Zhang, Henry C. B. Chan, Victor C. M. Leung