Search Sciweavers | Sciweavers

15777 search results - page 347 / 3156

» Engineering in Software

111

click to vote

CISIS
2009
IEEE

94views Software Engineering» more CISIS 2009»

A Multipurpose Clustering Algorithm for Task Partitioning in Multicore Reconfigurable Systems

16 years 1 months ago

Download ce.et.tudelft.nl

S. Arash Ostadzadeh, Roel Meeuws, Kamana Sigdel, K...

claim paper

Read More »

123

click to vote

FASE
2009
Springer

94views Software Engineering» more FASE 2009»

Inquiry and Introspection for Non-deterministic Queries in Mobile Networks

16 years 1 months ago

Download mpc.ece.utexas.edu

Vasanth Rajamani, Christine Julien, Jamie Payton, ...

claim paper

Read More »

148

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

16 years 1 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

144

Voted

CBSE
2009
Springer

123views Software Engineering» more CBSE 2009»

Component-Based Real-Time Operating System for Embedded Applications

16 years 1 months ago

Download d3s.mff.cuni.cz

Frédéric Loiret, Juan Navas, Jean-Ph...

claim paper

Read More »

161

click to vote

EDBTW
2010
Springer

187views Software Engineering» more EDBTW 2010»

Model driven development of secure XML data warehouses: a case study

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers