504 search results - page 56 / 101 » Explaining Verification Conditions |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
114
click to vote
Tutorial
"To be a good programmer is difficult and noble. The hardest part of making real a collective vision of a software project is dealing with one's coworkers and customers. ...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
The concept of tensor rank, introduced in the twenties, has been popularized at the beginning of the seventies. This has allowed to carry out Factor Analysis on arrays with more t...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
A significant volume of research has concentrated on operating-system directed power management (OSPM). The primary focus of previous research has been the development of OSPM po...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper extends previous research by proposing a model that can help explain ways to motivate member contributions to online communities (OCs). New features in the model will a...