1991 search results - page 288 / 399 » Using a Coding Standard to Improve Program Quality |
115
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
144
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
128
click to vote
IEEEPACT
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an automated performance tuning solution, which partitions a program into a number of tuning sections and finds the best combination of compiler options for e...
103
click to vote
COMSUR
2006
15 years 1 months ago
2006
Digital Video Broadcasting for Handhelds (DVB-H) is a standard for broadcasting IP Datacast (IPDC) services to mobile handheld terminals. Based on the DVB-T standard, DVB-H adds n...
110
click to vote
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a newly developed region-on-interest (ROI) transcoding method for JPEG 2000 images, which can be used for many progressive image/video streaming applications. ...