Sciweavers

2274 search results - page 38 / 455
» The microsoft data platform
Sort
View
CSFW
2011
IEEE
13 years 9 months ago
Formal Analysis of Protocols Based on TPM State Registers
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
USENIX
1994
14 years 11 months ago
Wux: UNIX Tools under Windows
Wux is a port of Unix tools to the Microsoft Windows environment. It is based on a library providing a Unixcompatible set of system calls on top of Windows. Unix-derived tools run...
Diomidis Spinellis
ICMCS
2008
IEEE
168views Multimedia» more  ICMCS 2008»
15 years 4 months ago
A co-design platform for algorithm/architecture design exploration
The efficient implementation of multimedia algorithms, for the ever increasing complexity of the specifications and the emergence of the new generation of processing platforms c...
Christophe Lucarz, Marco Mattavelli, Julien Dubois
BMCBI
2011
14 years 1 months ago
FIND: A new software tool and development platform for enhanced multicolor flow analysis
Background: Flow Cytometry is a process by which cells, and other microscopic particles, can be identified, counted, and sorted mechanically through the use of hydrodynamic pressu...
Shareef Dabdoub, William C. Ray, Sheryl S. Justice
70
Voted
MSR
2009
ACM
15 years 4 months ago
A platform for software engineering research
Research in the fields of software quality, maintainability and evolution requires the analysis of large quantities of data, which often originate from open source software proje...
Georgios Gousios, Diomidis Spinellis