Sciweavers

4340 search results - page 247 / 868
» Designing for change
Sort
View
XPU
2004
Springer
15 years 12 months ago
Towards a Proper Integration of Large Refactorings in Agile Software Development
Refactoring is a key element of many agile software development methods. While most developers associate small design changes with the term refactoring (as described by Martin Fowl...
Martin Lippert
153
Voted
ICRA
1995
IEEE
81views Robotics» more  ICRA 1995»
15 years 10 months ago
Parts Orienting by Push-Aligning
Programmable parts orienting is an important capability for exible automation systems. Here we study how a part grasped in an unknown orientation by a force-controlled robot can b...
Srinivas Akella, Matthew T. Mason
CCE
2004
15 years 6 months ago
Optimal waste reduction and investment planning under uncertainty
Ever-changing production campaigns complicate the management of recovery and treatment options for unavoidable effluents at pharmaceutical plants. Each campaign produces large amo...
Aninda Chakraborty, Andres Malcolm, Richard D. Col...
ICCD
2006
IEEE
104views Hardware» more  ICCD 2006»
16 years 3 months ago
Guiding Architectural SRAM Models
— Caches, block memories, predictors, state tables, and other forms of on-chip memory are continuing to consume a greater portion of processor designs with each passing year. Mak...
Banit Agrawal, Timothy Sherwood
STTT
2010
122views more  STTT 2010»
15 years 5 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...