Search Sciweavers | Sciweavers

15777 search results - page 185 / 3156

» The Reformulation-Optimization Software Engine

click to vote

EUROMICRO
2004
IEEE

98views Software Engineering» more EUROMICRO 2004»

Logical-Time Contracts for Reactive Embedded Components

13 years 12 months ago

Download www.idt.mdh.se

Florence Maraninchi, Lionel Morel

claim paper

Read More »

click to vote

EUROMICRO
2004
IEEE

97views Software Engineering» more EUROMICRO 2004»

Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms

13 years 12 months ago

Download home.mit.bme.hu

Gergely Pintér, István Majzik

claim paper

Read More »

click to vote

EUROMICRO
2004
IEEE

99views Software Engineering» more EUROMICRO 2004»

Voluntariness of Permissions Required for Security Measures

13 years 12 months ago

Download www.sonntag.cc

Michael Sonntag

claim paper

Read More »

click to vote

CODES
2006
IEEE

109views Software Engineering» more CODES 2006»

Droplet-trace-based array partitioning and a pin assignment algorithm for the automated design of digital microfluidic biochips

13 years 12 months ago

Download www.cs.york.ac.uk

Tao Xu, Krishnendu Chakrabarty

claim paper

Read More »

click to vote

DICS
2006

99views Software Engineering» more DICS 2006»

Scalable Programming Abstractions for XML Services

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers