OCL constraints for design patterns in the KeY project |
|
OMAP platform software |
|
On the fixed parameter enumerability of cluster-deletion |
|
Online help : the implementation of user manuals into a radar application from Saab Microwaves System |
|
Optimistic prostate cancer treatment via androgen receptor inhibition bycomputationally designed proteins |
|
Optimization of a distance measuring system by implementation of a data reduction unit |
|
Overriding store instructions in SH2 machine code |
|
PaintChat : a collaborative painting application |
|
PC-applikation för avkänning av signaler och beräkning av tid och händelser |
|
Peocounter : people counting software |
|
A performance profiler for aiding in threading legacy C/C++ code |
|
Picoblaze-styrd väderstation |
|
A platform for the experimental evaluation of partitioned systems |
|
Porting GTK+ to native Mac OS X |
|
Procedural generation of indoor environments |
|
Promoter analysis of developmental genes : correlation between Transcription Factor Binding Sites and in situ expression patterns in vertebrates |
|
Public multi-format Web Services : designing and implementering a public Web Service speaking multiple input and output formats |
|
Push!Music - autonomous music sharing in mobile ad hoc networks |
|
PyAttributes : ett tillägg till diagram editorn Dia |
|
Quantum computation : a computer science perspective |
|
Query co-clustering : evaluation of the importance of user similarities in a search engine |
|
Radar communication : optimization in a constrained environment |
|
Real-time fluid dynamics for virtual surgery |
|
Realtime telematics for racing |
|
Reasoning and language generation in the SUMO ontology |
|
Rekryteringssystem till en existerande portallösning |
|
Research Reports in Software Engineering and Management. |
|
Resource optimization using automatically generated code |
|
Robust & precise incremental parsing of Haskell |
|
Secure collection and analysis of mobile broadband logs |
|
Self-stabilizing media access in sensor networks |
|
Service-oriented architecture SOA : enterprise SOA i ett integrationsscenario med SAP:s verktygslåda |
|
Services for resilient distributed systems : an Ethernet prototype |
|
SimByWire : a simulator for the CEDES experimental system |
|
SimlogCPU - trouble-shooting tool for traffic signal control units |
|
Software download for MOST |
|
Software simulation and training |
|
Software system testing in a large organisation : a survey at Volvo Information Technology |
|
Software transactional memory for graphics card |
|
Spaningsledniing : allokering av spaningsresurser |
|
SPARC V8 model for Simics |
|
Specification-based acceptance testing |
|
Specificering och implementering av en ny modul till webapplikationen aiai.se |
|
State-of-the-art specification and verification methods : usage in avionics and other safety-critical hardware |
|
Strategies for migration of a legacy system : a case study on evaluation of strategies for migrating VBA to visual C# |
|
Study and implementation of the enhancements in 802.11i : security and roaming |
|
Study, design and implementation of remote control based on M2M technology |
|
A study of intrusion detection techniques for energy efficient and early detection in wireless sensor networks |
|
A study of norovirus-HBGA interactions : computational studies on the interaction of norovirus surface protein with ABO-blood group active saccharides |
|
Styrsystem till servokontrollerad utrustning för vektorgrafik |
|
Support for development and maintenance of generic libraries |
|
A survey and evaluation of routing protocols in mobile ad hoc networks |
|
System modelling for spacecraft on-board computers |
|
Technical report |
|
Technology evaluation of future IPTV services |
|
Templatized process execution |
|
Test med hög täckningsgrad av en elektronikenhet för busschassi = High coverage tests of a chassis electronic module |
|
Test vector extraction methodology : for power integrity analysis |
|
Testing a software block with QuickCheck |
|
Testutrustning för omborddiagnos |
|
A theoretical and practical overview of IPSec |
|
Towards energy efficient protocols for active RFID |
|
Tracking facial features with the aid of a head tracker |
|
Trust decision support under uncertainty |
|
TTCAN reference application : an investigation of time-triggered network performance |
|
Tunneling TCP over TCP : a study of a real system |
|
Use Case Explorer : a use case tool |
|
User interface for information entry to maintenance systems (CMMS) |
|
Using bioinformatics to study cellular internal ribosomal entry sites |
|
Utvärdering av pekskärm med Linuxkärna : utvärdering av utvecklingsarbetet av mjukvara vid framtagande av operatörspanel = Evaluation of a Linux kernel touch panel: evaluation of the development of the software design for an operator panel |
|
Utveckling av en datorbaserad plattform för utbildning och kompetensutveckling |
|
Utveckling av en offertgenerator i ASP.NET |
|
Validating relocation analysis of self-stabilizing MAC algorithms for mobile ad-hoc networks |
|
Validation of EDS simulation functionality in Saber Harness |
|
Vector floating-point controller development |
|
Very lazy evaluation : a new execution model for functional programming languages |
|
VGA controller core |
|
Virtual manufacturing : an analysis of the impact of virtual manufacturing tools at the manufacturing process at Volvo do Brasil |
|
Visualisering av statistik för analys av kostnad och kvalitet |
|
Visualization manager for production data |
|
Visualizing 3D oligosaccharide structures predicted by the genetic algorithm program GLYGAL |
|
Visualizing of sensor-network executions : visualization extension to TOSSIM |
|
Visualizing real-time data : designing a visual analytics tool for the stock market |
|
Voice assisted GSM positioning |
|
VoIP Packet Generator |
|
Web 2.0 school software : designing for usability |
|
Webbaserat bokningssystem för flygmotorprovning |
|
Webbaserat enkätverktyg för utskick och analys av marknadsundersökningar |
|
Webbaserat stöd för konsultuppdrag |
|
Webbportal för visualisering av telefontrafik |
|
Westimate, ett projektverktyg för att förbättra tidsuppfattning och estimering |
|
What potentially dangerous traffic situations, including objects, have the need to be effectively presented to increase the awareness of the driver |
|
WIIMU : Wireless Interface for Inertial Measurements Units |
|
WxErlang : a GUI for Erlang |
|
X10 - digital class TD |
|