Search Sciweavers | Sciweavers

15777 search results - page 347 / 3156

» Engineering in Software

click to vote

CISIS
2009
IEEE

94views Software Engineering» more CISIS 2009»

A Multipurpose Clustering Algorithm for Task Partitioning in Multicore Reconfigurable Systems

15 years 12 months ago

Download ce.et.tudelft.nl

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

claim paper

Read More »

103

Voted

FASE
2009
Springer

94views Software Engineering» more FASE 2009»

Inquiry and Introspection for Non-deterministic Queries in Mobile Networks

15 years 11 months ago

Download mpc.ece.utexas.edu

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

claim paper

Read More »

121

Voted

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

15 years 11 months ago

Download research.nii.ac.jp

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

claim paper

Read More »

116

click to vote

CBSE
2009
Springer

123views Software Engineering» more CBSE 2009»

Component-Based Real-Time Operating System for Embedded Applications

15 years 11 months ago

Download d3s.mff.cuni.cz

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

claim paper

Read More »

127

click to vote

EDBTW
2010
Springer

187views Software Engineering» more EDBTW 2010»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers