2249 search results - page 250 / 450 » ILP-based engineering change |
162
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
As open source development has evolved, differentiation of roles and increased sophistication of collaborative processes has occurred. Recently, we described coordination issues i...
257
click to vote
Publication
We present a data-driven, unsupervised method for unusual
scene detection from static webcams. Such time-lapse
data is usually captured with very low or varying framerate.
This ...
147
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
168
click to vote
ASPLOS
2010
ACM
16 years 21 days ago
2010
ACM
DRAM is facing severe scalability challenges in sub-45nm technology nodes due to precise charge placement and sensing hurdles in deep-submicron geometries. Resistive memories, suc...
160
click to vote
HICSS
2009
IEEE
16 years 20 days ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...