9626 search results - page 1751 / 1926 » Invariant Based Programming |
127
click to vote
HCI
2009
15 years 9 days ago
2009
In early 2007, the California State University (CSU) system initiated a program to make all information technology accessible to persons with disabilities; the authors were appoint...
134
click to vote
ICASSP
2009
IEEE
15 years 9 days ago
2009
IEEE
A unified framework to jointly solve the two problems of localization and synchronization at the same time is presented in this paper. The joint approach is attractive because it ...
109
click to vote
ICCAD
2009
IEEE
15 years 8 days ago
2009
IEEE
Wire bonding is the most popular method to connect signals between dies in System-in-Package (SiP) design nowadays. Pad assignment, which assigns inter-die signals to die pads so ...
141
click to vote
ICST
2009
IEEE
15 years 8 days ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
137
Voted
AOR
2010
14 years 12 months ago
2010
Column generation algorithms have been specially designed for solving mathematical programs with a huge number of variables. Unfortunately, this method suffers from slow convergen...