Search Sciweavers | Sciweavers

10539 search results - page 328 / 2108

» On L

click to vote

ENTCS
2007

85views more ENTCS 2007»

Automatic Verification of Bossa Scheduler Properties

15 years 6 months ago

Download www.diku.dk

Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall...

claim paper

Read More »

click to vote

JSS
2006

99views more JSS 2006»

Automated impact analysis of UML models

15 years 6 months ago

Download squall.sce.carleton.ca

Lionel C. Briand, Yvan Labiche, L. O'Sullivan, Mic...

claim paper

Read More »

106

click to vote

MP
2008

71views more MP 2008»

Augmented Lagrangian methods under the constant positive linear dependence constraint qualification

15 years 6 months ago

Download www.ime.unicamp.br

Roberto Andreani, Ernesto G. Birgin, José M...

claim paper

Read More »

163

click to vote

KES
2006
Springer

107views Information Technology» more KES 2006»

Extracting Activities from Multimodal Observation

15 years 6 months ago

Download www-prima.imag.fr

Oliver Brdiczka, Jérôme Maisonnasse, ...

claim paper

Read More »

133

click to vote

ET
2007

64views more ET 2007»

Testing and Diagnosis of Realistic Defects in Digital Microfluidic Biochips

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers