掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004
Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A novel out-of-band signaling mechanism for enhanced real-time support in tactical ad hoc wireless networks
机译:
一种新颖的带外信令机制,可增强战术自组织无线网络的实时支持
作者:
Vishnumurthy
;
V.
;
Sandeep
;
T.
;
Manoj
;
B.S.
;
Murthy
;
C.S.R.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
ad hoc networks;
wireless LAN;
bandwidth allocation;
real-time systems;
open systems;
mobile communication;
out-of-band signaling mechanism;
enhanced real-time support scheme;
tactical ad hoc wireless network;
military application;
reservation-based approach;
real-time bandwidth guarantees;
differentiated service class;
theoretical analysis;
2.
A priority inheritance-based inversion control methodology for general resource access problems
机译:
一般资源访问问题的基于优先级继承的反转控制方法
作者:
Chen
;
L.
;
Mizuno
;
M.
;
Singh
;
G.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
resource allocation;
access protocols;
concurrency control;
formal specification;
Java;
parallel programming;
real-time concurrent system;
priority inheritance-based inversion control methodology;
resource access control code;
formal development methodology;
global invariant based synchronization;
mutex lock;
real-time operating system;
priority-based binary semaphore;
VxWork;
priority inheritance protocol;
3.
A real-time image recognition system for tiny autonomous mobile robots
机译:
小型自主移动机器人的实时图像识别系统
作者:
Mahlknecht
;
S.
;
Oberhammer
;
R.
;
Novak
;
G.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
edge detection;
mobile robots;
intelligent sensors;
CMOS image sensors;
object detection;
computer games;
embedded systems;
real-time image recognition system;
autonomous mobile robot;
intelligent sensor;
tiny soccer-playing robot;
object detection;
CMOS camera;
signal processor;
embedded system;
edge detection;
color detection;
4.
A real-time model for the robotic highway safety marker system
机译:
机器人高速公路安全标记系统的实时模型
作者:
Shi
;
J.
;
Goddard
;
S.
;
Lal
;
A.
;
Farritor
;
S.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
mobile robots;
Hough transforms;
scheduling;
path planning;
automated highways;
road safety;
real-time model;
robotic highway safety marker system;
real-time scheduling;
rate monotonic priority driven scheduling;
earliest deadline first scheduling;
Hough transform;
time complexity;
search window;
path planning;
5.
A wakeup scheme for sensor networks: achieving balance between energy saving and end-to-end delay
机译:
传感器网络的唤醒方案:实现节能与端到端延迟之间的平衡
作者:
Xue Yang
;
Vaidya
;
N.H.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
wireless sensor networks;
wireless LAN;
energy conservation;
wakeup scheme;
wireless sensor networks;
energy saving;
packet end-to-end delay;
6.
Adaptive reservations in a Linux environment
机译:
Linux环境中的自适应预留
作者:
Cucinotta
;
T.
;
Palopoli
;
L.
;
Marzario
;
L.
;
Lipari
;
G.
;
Abeni
;
L.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
operating system kernels;
multimedia computing;
processor scheduling;
resource allocation;
quality of service;
software architecture;
adaptive scheduling;
CPU adaptive reservation;
concurrent soft real-time task;
quality of service;
stochastic control;
software architecture;
adaptive scheduling;
Linux kernel;
multimedia application;
7.
Adaptive resource allocation control with on-line search for fair QoS level
机译:
具有公平QoS级别的在线搜索的自适应资源分配控制
作者:
Harada
;
F.
;
Ushio
;
T.
;
Nakamoto
;
Y.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
resource allocation;
adaptive control;
quality of service;
real-time systems;
feedback;
time-varying systems;
control theory;
feedback theory;
real-time systems;
fair resource allocation;
controlled signals;
adaptive resource allocation control;
CPU utilization factor;
online search;
fair QoS level;
8.
Adaptive routing of QoS-constrained media streams over scalable overlay topologies
机译:
QoS约束的媒体流在可伸缩覆盖拓扑上的自适应路由
作者:
Fry
;
G.
;
West
;
R.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
Internet;
quality of service;
telecommunication network routing;
multicast protocols;
hypercube networks;
real-time systems;
multimedia systems;
algorithm theory;
adaptive routing;
QoS-constrained real-time media stream;
scalable overlay topology;
Internet-based distributed system;
data retrieval;
k-ary n-cube structure;
greedy algorithm;
9.
An embedded architectural framework for interaction between automobiles and consumer devices
机译:
用于汽车和消费类设备之间交互的嵌入式体系结构框架
作者:
Nelson
;
E.C.
;
Prasad
;
K.V.
;
Rasin
;
V.
;
Simonds
;
C.J.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
automobiles;
embedded systems;
entertainment;
Java;
software architecture;
user interfaces;
consumer electronics;
automotive electronics;
application program interfaces;
automobile industry;
automobiles;
in-vehicle computing platform;
software service platform;
prototype vehicle;
Ford Motor Company;
embedded architectural framework;
consumer device;
10.
Automated functional test case synthesis from THALES industrial requirements
机译:
根据THALES工业要求自动进行功能测试用例综合
作者:
Lugato
;
D.
;
Maraux
;
F.
;
Le Traon
;
Y.
;
Nebut
;
C.
;
Normand
;
V.
;
Dubois
;
H.
;
Jean-Yves Pierron
;
J.-Y.
;
Jean-Pierre Gallois
;
J.-P.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
formal specification;
specification languages;
software tools;
program testing;
DP industry;
automatic test pattern generation;
automated functional test case synthesis;
THALES industrial requirement;
specification validation;
software industry;
quality mastering;
MUTATION project;
requirements description language;
UML design model;
academic tool AGATHA;
11.
Automated reference-counted object recycling for real-time Java
机译:
实时Java的自动引用计数对象回收
作者:
Deters
;
M.
;
Leidenfrost
;
N.A.
;
Hampton
;
M.P.
;
Brodman
;
J.C.
;
Cytron
;
R.K.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
Java;
real-time systems;
partial evaluation (compilers);
formal specification;
storage management;
object-oriented programming;
user-driven reference counting;
real-time Java specification;
aspect-generated code;
automated reference-counted object recycling;
12.
CAMRIT: control-based adaptive middleware for real-time image transmission
机译:
CAMRIT:基于控件的自适应中间件,用于实时图像传输
作者:
Xiaorui Wang
;
Huang-Ming Huang
;
Subramonian
;
V.
;
Lu
;
C.
;
Gill
;
C.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
middleware;
embedded systems;
visual communication;
feedback;
open systems;
CAMRIT;
control-based adaptive middleware;
real-time image transmission;
distributed embedded system;
open network environment;
avionics mission re-planning;
Link-16 security system;
wireless camera network;
online collaboration;
camera phone;
distributed feedback control loop;
image quality;
control theoretic methodology;
analytic assurance;
system stability;
system performance;
network bandwidth;
13.
CCMPerf: a benchmarking tool for CORBA component model implementations
机译:
CCMPerf:CORBA组件模型实现的基准测试工具
作者:
Krishna
;
A.S.
;
Balachandran Natarajan
;
Gokhale
;
A.
;
Schmidt
;
D.C.
;
Wang
;
N.
;
Thaker
;
G.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
distributed object management;
middleware;
embedded systems;
quality of service;
benchmark testing;
commercial off-the-shelf middleware;
COTS;
distributed real-time embedded system;
quality of service;
QoS;
Object Request Broker;
ORB;
CORBA 2.x standard;
CORBA component model;
CORBA 3.0 standard;
black-box metric;
white-box metric;
CCMPerf benchmarking tool;
14.
Component allocation with multiple resource constraints for large embedded real-time software design
机译:
具有多种资源限制的组件分配,用于大型嵌入式实时软件设计
作者:
Wang
;
S.
;
Merrick
;
J.R.
;
Shin
;
K.G.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
resource allocation;
embedded systems;
tree searching;
software tools;
object-oriented programming;
constraint handling;
software reusability;
embedded real-time software design;
software component allocation;
multiple platform resource constraint;
model-based design;
automatic design model transformation;
branch-and-bound mechanism;
forward checking mechanism;
DARPA MoBIES Program;
automotive electronic throttle control system;
ETC;
randomly-generated design model;
automatic integration-reusable embedded software;
AIRES toolkit;
15.
Configurable event communication in Cadena
机译:
Cadena中的可配置事件通信
作者:
Singh
;
G.
;
Kumar
;
P.S.
;
Zeng
;
Q.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
middleware;
quality of service;
embedded systems;
distributed object management;
meta data;
QoS requirement;
distributed real-time embedded system;
middleware service;
event communication framework;
configuration tool;
code synthesis;
weaving;
transformation technique;
Boeing BoldStroke system;
Cadena;
16.
Coordinated search and track by multiple phased array radars
机译:
多相控阵雷达的协同搜索和跟踪
作者:
Kang
;
P.-S.
;
Lee
;
C.-G.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
phased array radar;
resource allocation;
radar tracking;
scheduling;
search problems;
antenna phased arrays;
radar signal processing;
track coordination search problem;
shipboard radar;
single phased array radar;
closed-form equation;
schedulability envelope;
relative-load-balancing problem;
multiresource environment;
multiship multiradar system;
multiple phased array radar;
17.
Data management in real-time systems: a case of on-demand updates in vehicle control systems
机译:
实时系统中的数据管理:车辆控制系统中按需更新的情况
作者:
Gustafsson
;
T.
;
Hansson
;
J.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
control systems;
automobiles;
database management systems;
data handling;
tree searching;
vehicle control system;
CPU utilization;
engine electronic control unit;
automobiles;
database system;
ODTB algorithm;
data management;
real-time system;
on-demand updates;
18.
Design of digital control systems with dynamic voltage scaling
机译:
动态电压缩放数字控制系统的设计
作者:
Hyung Sun Lee
;
Byung Kook Kim
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
operating systems (computers);
computerised control;
digital control;
processor scheduling;
performance evaluation;
digital control system;
dynamic voltage scaling;
real-time computer-controlled system;
energy consumption;
single processor scheduling;
optimization problem;
real-time operating system;
19.
Design trade-offs for networks with soft end-to-end timing constraints
机译:
具有软端到端时序约束的网络的设计权衡
作者:
Zhu
;
H.F.
;
Lehoczky
;
J.P.
;
Hansen
;
J.P.
;
Rajkumar
;
R.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
telecommunication traffic;
stochastic processes;
telecommunication congestion control;
scheduling;
mobile handsets;
multimedia communication;
queueing theory;
performance evaluation;
broadband capabilities;
mobile phone networks;
real-time multimedia traffic;
VoIP;
high-resolution video streams;
stochastic processing requirements;
real-time scheduling techniques;
wired multihop real-time network;
admission control policy;
real-time earliest deadline first network;
heterogeneous network;
maximum allowable system workload;
20.
Disseminating dynamic data with QoS guarantee in a wide area network: a practical control theoretic approach
机译:
具有QoS保证的广域网中分发动态数据:一种实用的控制理论方法
作者:
Majumdar
;
R.K.
;
Ramamritham
;
K.
;
Banavar
;
R.N.
;
Moudgalya
;
K.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
Internet;
wide area networks;
information dissemination;
quality of service;
linear quadratic Gaussian control;
real-time systems;
feedback;
proportional control;
pattern matching;
temporal databases;
decision making;
dynamic data dissemination;
QoS guarantee;
quality of service guarantee;
wide area network;
online decision making;
stochastic controller;
linear quadratic Gaussian algorithm;
LQG algorithm;
real-time data;
feedback-driven control-theoretic approach;
adaptive refresh technique;
pattern matching;
proportional controller;
21.
Dynamic CPU management for real-time, middleware-based systems
机译:
实时,基于中间件的系统的动态CPU管理
作者:
Hide
;
E.
;
Stack
;
T.
;
Regehr
;
J.
;
Lepreau
;
J.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
resource allocation;
quality of service;
embedded systems;
middleware;
operating systems (computers);
distributed object management;
dynamic CPU management;
real-time system;
middleware-based system;
real-world distributed system;
multiagent military application;
operating system;
quality of service;
QOS;
multiple software element;
CPU broker;
real-time operating system;
feedback;
industry-standard middleware;
open architecture;
run-time CPU resource contention;
22.
Efficient response-time analysis for tasks with offsets
机译:
带有偏移的任务的有效响应时间分析
作者:
Maki-Turja
;
J.
;
Nolin
;
M.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
scheduling;
real-time systems;
operating systems (computers);
task analysis;
transaction processing;
table lookup;
approximative response-time analysis;
schedulability tools;
admission control systems;
fix-point iteration;
23.
Empirical quantification of pessimism in state-of-the-art scheduling theory techniques for periodic and sporadic DRE tasks
机译:
对周期性和偶发性DRE任务的最新调度理论技术中悲观主义的经验量化
作者:
Thaker
;
G.H.
;
Lardieri
;
P.J.
;
Krecker
;
D.K.
;
Price
;
M.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
scheduling;
resource allocation;
distributed processing;
statistical analysis;
distributed real-time embedded system;
resource availability;
real-time scheduling;
scheduling theory technique;
multiple scheduling theory technique;
nongreedy synchronization protocol;
deadline monotonic scheduling;
distributed task scheduling;
end-to-end task scheduling;
adaptive scheduling;
24.
Energy - responsiveness tradeoffs for real-time systems with mixed workload
机译:
混合工作负载的实时系统的能量-响应度折衷
作者:
Aydin
;
H.
;
Qi Yang
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
performance evaluation;
bandwidth allocation;
energy conservation;
resource allocation;
scheduling;
real-time system;
dynamic voltage scaling;
nonpower-aware scheduling;
energy consumption;
energy average response time;
energy-aware scheduling;
dynamic reclaiming algorithm;
total bandwidth server mechanism;
basic reclaiming scheme;
mutual reclaiming scheme;
bandwidth sharing scheme;
25.
Energy-aware traffic shaping for wireless real-time applications
机译:
无线实时应用的能量感知流量整形
作者:
Poellabauer
;
C.
;
Schwan
;
K.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
processor scheduling;
network interfaces;
quality of service;
real-time systems;
packet switching;
telecommunication traffic;
power consumption;
energy-aware traffic shaping;
wireless real-time application;
switch CPU voltages;
clock frequency;
mobile device energy consumption;
system-level approach;
real-time CPU scheduler;
QoS packet scheduler;
wireless network card;
26.
Enhancing the AvrX kernel with efficient secure communication using software thread integration
机译:
使用软件线程集成通过有效的安全通信增强AvrX内核
作者:
Ganesan
;
P.
;
Dean
;
A.G.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
operating system kernels;
cryptography;
telecommunication security;
embedded systems;
time division multiple access;
multi-threading;
AvrX kernel;
secure communication;
software thread integration;
embedded processor;
embedded network;
sensor network;
time-slice communication;
context-switching overhead elimination;
interrupt service routine;
busy-wait scheme;
RC4 cipher;
RC5 cipher;
cryptographic processing;
27.
Fair integrated scheduling of soft real-time tardiness classes on multiprocessors
机译:
多处理器上软实时拖延类的公平集成调度
作者:
Devi
;
U.M.C.
;
Anderson
;
J.H.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
processor scheduling;
multiprocessing systems;
real-time systems;
fair integrated scheduling;
soft real-time system;
Pfair scheduling;
optimal multiprocessor scheduling algorithm;
earliest-pseudo-deadline-first Pfair algorithm;
EPDF algorithm;
28.
FAIR: fee arbitrated incentive architecture in wireless ad hoc networks
机译:
公平:无线自组织网络中的收费仲裁激励架构
作者:
Mok
;
A.
;
Mistry
;
B.
;
Chung
;
E.
;
Baochun Li
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
ad hoc networks;
open systems;
ubiquitous computing;
middleware;
fee arbitrated incentive architecture;
wireless ad hoc networks;
application layer protocol;
autonomous feedback mechanism;
PriceSim network simulator;
FAIR protocol;
29.
Feedback EDF scheduling exploiting dynamic voltage scaling
机译:
利用动态电压缩放功能进行反馈EDF调度
作者:
Yifan Zhu
;
Mueller
;
F.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
embedded systems;
processor scheduling;
feedback;
dynamic voltage scaling;
embedded system;
DVS techniques;
real-time system;
operating system support;
EDF scheduling algorithm;
worst-case execution time;
30.
Feedback-based real-time scheduling in autonomous vehicle systems
机译:
自动驾驶系统中基于反馈的实时调度
作者:
Lin
;
S.
;
Manimaran
;
G.
;
Steward
;
B.L.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
processor scheduling;
feedback;
mobile robots;
agriculture;
adaptive scheduling;
feedback-based real-time scheduling;
autonomous vehicle system;
feedback control;
task scheduling;
low miss ratio;
CPU utilization;
selective herbicide spraying problem;
agricultural production;
weed distribution;
31.
HARMONICA: enhanced QoS support with admission control for IEEE 802.11 contention-based access
机译:
HARMONICA:增强的QoS支持,具有基于IEEE 802.11基于竞争的访问的许可控制
作者:
Zhang
;
L.
;
Zeadally
;
S.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
telecommunication congestion control;
quality of service;
IEEE standards;
wireless LAN;
open systems;
channel allocation;
carrier sense multiple access;
enhanced QoS support;
admission control mechanism;
IEEE 802.11 contention-based access;
WLAN;
distributed coordination function;
MAC layer;
time-varying traffic load;
HARMONICA architecture;
interference-free environment;
quasi-optimal channel utilization;
32.
Implementing Pfairness on a symmetric multiprocessor
机译:
在对称多处理器上实现公平性
作者:
Holman
;
P.
;
Anderson
;
J.H.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
processor scheduling;
multiprocessing systems;
real-time systems;
Pfair scheduler;
symmetric multiprocessor;
33.
Incorporating cost of control into the design of a load balancing controller
机译:
将控制成本纳入负载均衡控制器的设计中
作者:
Diao
;
Y.
;
Hellerstein
;
J.L.
;
Storm
;
A.J.
;
Surendra
;
M.
;
Lightstone
;
S.
;
Parekh
;
S.
;
Garcia- Arellano
;
C.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
resource allocation;
database management systems;
optimisation;
buffer storage;
storage allocation;
linear quadratic control;
transaction processing;
performance evaluation;
load balancing;
database management system;
constrained optimization problem;
resource allocations;
buffer pools;
linear quadratic regulator;
transient load imbalances;
DB2 universal database server;
online transaction processing;
decision support workloads;
34.
Incremental satisfiability counting for real-time systems
机译:
实时系统的增量可满足性计数
作者:
Andrei
;
S.
;
Chin
;
W.-N.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
computability;
formal specification;
formal verification;
temporal logic;
real-time systems;
propositional formulae satisfiability;
timing constraints;
truth assignments;
Boolean satisfiability;
safety assertions;
incremental algorithm;
incremental satisfiability counting;
rail-road crossing example;
35.
Integrated adaptive QoS management in middleware: a case study
机译:
中间件中的集成自适应QoS管理:案例研究
作者:
Gill
;
C.D.
;
Loyall
;
J.P.
;
Schantz
;
R.E.
;
Atighetch
;
M.
;
Gossett
;
J.M.
;
Gorman
;
D.
;
Schmidt
;
D.C.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
middleware;
quality of service;
embedded systems;
distributed object management;
adaptive QoS management;
middleware;
distributed real-time system;
embedded system;
quality-of-service;
image quality;
empirical case study;
36.
IRIS: a new reclaiming algorithm for server-based real-time systems
机译:
IRIS:一种用于基于服务器的实时系统的新回收算法
作者:
Marzario
;
L.
;
Lipari
;
G.
;
Balbastre
;
P.
;
Crespo
;
A.
会议名称:
《》
|
2004年
关键词:
real-time systems;
resource allocation;
bandwidth allocation;
distributed algorithms;
processor scheduling;
multimedia servers;
CPU resource reservation;
spare bandwidth;
scheduling parameter;
IRIS;
reclaiming algorithm;
server-based real-time system;
37.
Loss-tolerant QoS using firm constraints in guaranteed rate networks
机译:
保证速率网络中使用公司约束的容错QoS
作者:
Koubaa
;
A.
;
Song
;
Y.-Q.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
computer networks;
quality of service;
real-time systems;
resource allocation;
scheduling;
delays;
telecommunication traffic;
bandwidth allocation;
loss-tolerant QoS;
firm timing constraint;
guaranteed rate network;
hard real-time guarantee;
soft real-time guarantee;
network resource utilization;
(m,k)-WFQ algorithm;
network calculus formalism;
38.
Maximizing the use of computational resources in multi-camera feedback control
机译:
在多摄像机反馈控制中最大限度地利用计算资源
作者:
Henriksson
;
D.
;
Olsson
;
T.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
feedback;
computer vision;
tracking;
edge detection;
motion control;
real-time systems;
closed loop systems;
position control;
resource allocation;
cameras;
vision-based feedback control systems;
sensor information;
real-time control applications;
image-based tracking algorithms;
computational resources;
multicamera based positioning system;
position estimation error;
edge detection points;
estimation covariance;
heuristic algorithms;
closed-loop position control;
multicamera feedback control;
39.
Middleware specialization for memory-constrained networked embedded systems
机译:
内存受限的网络嵌入式系统的中间件专业化
作者:
Subramonian
;
V.
;
Guoliang Xing
;
Gill
;
C.
;
Chenyang Lu
;
Cytron
;
R.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
middleware;
embedded systems;
resource allocation;
storage management;
middleware specialization;
memory-constrained network;
embedded system;
distributed system;
resource constraint;
middleware footprint;
empirical measurement;
40.
On the fundamental capacity and lifetime limits of energy-constrained wireless sensor networks
机译:
关于能量受限的无线传感器网络的基本容量和寿命限制
作者:
Zhihau Hu
;
Baochun Li
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
wireless sensor networks;
wireless LAN;
power consumption;
energy conservation;
energy-constrained wireless sensor networks;
optimal power management scheme;
asymptotic analysis;
operational lifetime;
concurrent transmission;
41.
Online control for self-management in computing systems
机译:
在线控制计算系统中的自我管理
作者:
Abdelwahed
;
S.
;
Nagarajan Kandasamy
;
Sandeep Neema
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
quality of service;
resource allocation;
real-time systems;
controllers;
dependable computer systems;
critical commerce;
transportation;
military applications;
quality-of-service requirements;
QoS;
online control framework;
self-managing computer systems;
42.
Optimization of soft real-time systems with deadline miss ratio constraints
机译:
具有截止期限未命中率约束的软实时系统的优化
作者:
Manolache
;
S.
;
Eles
;
P.
;
Peng
;
Z.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
multiprocessing systems;
processor scheduling;
optimisation;
performance evaluation;
search problems;
design optimization;
soft real-time system;
deadline miss ratio constraint;
hard real-time constraint;
task priority assignment;
task mapping;
multiprocessor application;
stochastic execution time;
design space exploration heuristic;
tabu search;
system performance analysis;
43.
Proposal and evaluation for organising and using available data for software performance estimations in embedded platform development
机译:
在嵌入式平台开发中组织和使用可用数据进行软件性能评估的建议和评估
作者:
Johansson
;
E.
;
Wartenberg
;
F.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
embedded systems;
hardware-software codesign;
software performance evaluation;
database management systems;
embedded platform development;
real-time system;
software performance estimation;
database tool;
44.
Quantitative characterization of event streams in analysis of hard real-time applications
机译:
硬实时应用程序分析中事件流的定量表征
作者:
Wandeler
;
E.
;
Maxiaguine
;
A.
;
Thiele
;
L.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
embedded systems;
multimedia systems;
performance evaluation;
systems analysis;
real-time embedded systems;
event streams quantitative characterization;
abstract stream model;
multimedia application;
45.
Radio-triggered wake-up capability for sensor networks
机译:
传感器网络的无线电触发唤醒功能
作者:
Lin Gu
;
Stankovic
;
J.A.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
wireless sensor networks;
trigger circuits;
power consumption;
radio-triggered wake-up capability;
wireless sensor network;
power management scheme;
radio-triggered hardware component;
power saving;
SPICE circuit simulations;
store-energy technique;
46.
Realistic analysis of limited parallel software/hardware implementations
机译:
有限并行软件/硬件实现的现实分析
作者:
Audsley
;
N.C.
;
Bletsas
;
K.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
reconfigurable architectures;
field programmable gate arrays;
memory architecture;
parallel programming;
parallel architectures;
hardware-software codesign;
real-time system implementations;
reconfigurable hardware;
processor-memory architectures;
software process;
fixed priority timing analysis;
field programmable gate arrays;
limited parallel systems;
47.
Real-rate scheduling
机译:
实时排程
作者:
Goel
;
A.
;
Walpole
;
J.
;
Shor
;
M.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
processor scheduling;
resource allocation;
operating systems (computers);
feedback;
controllers;
real-time scheduling mechanisms;
general-purpose operating systems;
thread requirements;
CPU cycles;
feedback-based real-rate scheduler;
thread-specified time-stamps;
real-rate controller;
48.
Real-time tasks with data output
机译:
具有数据输出的实时任务
作者:
Chen
;
D.
;
Mok
;
A.K.
;
Nixon
;
M.
;
Shepard
;
R.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
real-time systems;
scheduling;
data handling;
multimedia databases;
task analysis;
real-time task;
multimedia data handling;
network research community;
data source parameters;
scheduling policy;
data output curve;
data transmission;
49.
Real-time video analysis on an embedded smart camera for traffic surveillance
机译:
嵌入式智能相机上的实时视频分析,用于交通监控
作者:
Bramberger
;
M.
;
Brunner
;
J.
;
Rinner
;
B.
;
Schwabach
;
H.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
surveillance;
video cameras;
video signal processing;
CMOS image sensors;
IP networks;
embedded systems;
traffic engineering computing;
real-time video analysis;
embedded smart camera;
video sensing;
high-level video processing;
traffic surveillance;
CMOS sensor;
digital signal processor;
DSP;
network processor;
Matlab-based prototyping;
IP-network;
stationary vehicle detection;
50.
RT-Frontier: a real-time operating system for practical imprecise computation
机译:
RT-Frontier:用于实际不精确计算的实时操作系统
作者:
Kobayashi
;
H.
;
Yamasaki
;
N.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
operating systems (computers);
scheduling;
embedded systems;
computational complexity;
RT-Frontier operating system;
uniform scheduling;
Slack Stealer-Optional Parts algorithm;
SS-OP;
algorithm;
Earliest Deadline First algorithm;
EOF;
embedded real-time system;
practical imprecise computation;
51.
Scheduling communication in real-time sensor applications
机译:
在实时传感器应用中安排通信
作者:
Huan Li
;
Shenoy
;
P.
;
Ramamritham
;
K.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
wireless sensor networks;
mobile robots;
telecommunication congestion control;
quality of service;
IEEE standards;
packet switching;
access protocols;
optimisation;
scheduling;
scheduling communication;
real-time wireless sensor applications;
mobile robotics;
802.11 wireless networks;
quality of service;
network transmission;
network collision;
NP-complete problem;
edge coloring;
52.
Scheduling of iterative algorithms on FPGA with pipelined arithmetic unit
机译:
带流水线运算单元的FPGA迭代算法调度
作者:
Sucha
;
P.
;
Pohl
;
Z.
;
Hanzalek
;
Z.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
field programmable gate arrays;
integer programming;
linear programming;
pipeline arithmetic;
processor scheduling;
computational complexity;
parallel algorithms;
active noise control;
filters;
arithmetic logarithmic modules;
FPGA;
RLS filter;
active noise cancellation;
optimal periodic cyclic schedule;
monoprocessor cyclic scheduling;
NP-hard problem;
integer linear programming;
iterative algorithms;
pipelined arithmetic unit;
53.
Smart sensor architecture customized for image processing applications
机译:
专为图像处理应用定制的智能传感器架构
作者:
Weng
;
Y.
;
Doboli
;
A.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
embedded systems;
systems analysis;
intelligent sensors;
face recognition;
wireless sensor networks;
hardware-software codesign;
monitoring;
security;
vector processor systems;
system level design methodology;
embedded system design;
sensor network application;
face detection;
hardware resources;
smart sensor architecture;
image processing applications;
54.
Speeding up string matching over compressed text on handheld devices using tagged sub-optimal code (TSC)
机译:
使用标记的次优代码(TSC)加快手持设备上压缩文本的字符串匹配
作者:
Bellaachia
;
A.
;
Rassan
;
I.A.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
string matching;
notebook computers;
data compression;
variable length codes;
decoding;
Huffman codes;
database management systems;
tree searching;
computational complexity;
text analysis;
mobile computing;
tagged suboptimal code;
TSC;
string matching;
compressed databases;
PDA;
variable-length suboptimal code;
codeword boundary;
decoding process;
integer representation code;
Huffman encoding;
byte pair encoding;
BPE compression process;
handheld device;
55.
Static real-time data distribution
机译:
静态实时数据分发
作者:
Uvarov
;
A.
;
DiPippo
;
L.
;
Fay-Wolfe
;
V.
;
Bryan
;
K.
;
Gadrow
;
P.
;
Henry
;
T.
;
Murphy
;
M.
;
Work
;
P.R.
;
DiPalma
;
L.P.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
military computing;
real-time systems;
scheduling;
military systems;
weapons;
temporal databases;
distributed databases;
data integrity;
just-in-time;
static real-time data distribution;
real-time event service;
real-time scheduling service;
just-in-time data distribution algorithm;
navy weapons alignment application;
data temporal consistency;
56.
Statistical verification of two non-linear real-time UAV controllers
机译:
两个非线性实时无人机控制器的统计验证
作者:
Binns
;
P.
;
Elgersma
;
M.
;
Ganguli
;
S.
;
Ha
;
V.
;
Samad
;
T.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
formal verification;
real-time systems;
statistical testing;
remotely operated vehicles;
mobile robots;
statistical verification;
two nonlinear real-time UAV controller;
controller state variable value;
maneuver;
statistical learning theory;
mobile robot;
57.
Storage access support for soft real-time applications
机译:
对软实时应用程序的存储访问支持
作者:
Wu
;
J.C.
;
Brandt
;
S.A.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
storage management;
quality of service;
real-time systems;
processor scheduling;
bandwidth allocation;
disc storage;
multimedia computing;
disc drives;
QoS-aware disk scheduler;
disk drive;
storage bandwidth management;
storage access support;
soft real-time application;
58.
Supporting dynamic QoS in Linux
机译:
在Linux中支持动态QoS
作者:
Liu
;
X.
;
Goddard
;
S.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
operating system kernels;
quality of service;
scheduling;
real-time systems;
adaptive control;
multimedia computing;
computer interfaces;
variable-rate execution;
dynamic quality of service support;
QoS;
time-sharing scheduling algorithm;
VRE scheduler;
rate controller component;
queue length;
multimedia application;
Linux kernel operating system;
59.
Task partitioning upon heterogeneous multiprocessor platforms
机译:
异构多处理器平台上的任务分区
作者:
Baruah
;
S.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
multiprocessing systems;
real-time systems;
processor scheduling;
computational complexity;
heterogeneous multiprocessor task partitioning algorithm;
heterogeneous multiprocessor platform;
real-time system;
multiprocessor scheduling;
approximation algorithm;
60.
The design and implementation of real-time CORBA 2.0: dynamic scheduling in TAO
机译:
实时CORBA 2.0的设计与实现:TAO中的动态调度
作者:
Krishnamurthy
;
Y.
;
Pyarali
;
I.
;
Gill
;
C.
;
Mgeta
;
L.
;
Yuanfang Zhang
;
Torn
;
S.
;
Schmidt
;
D.C.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
distributed object management;
middleware;
dynamic scheduling;
quality of service;
embedded systems;
open systems;
distributed real-time system;
embedded system;
dynamic QoS requirement;
object management group;
real-time CORBA 2.0 specification;
TAO dynamic scheduling framework;
standard CORBA middleware;
61.
The design and performance of a real-time notification service
机译:
实时通知服务的设计和性能
作者:
Pradeep Gore
;
Pyarali
;
I.
;
Gill
;
C.D.
;
Schmidt
;
D.C.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
distributed object management;
embedded systems;
scheduling;
quality of service;
distributed real-time application;
embedded system;
event-driven communication model;
quality of service;
event filtering mechanism;
CORBA notification service;
OMG request for proposals;
real-time object request broker;
TAO real-time notification service;
62.
Timing the WCET of embedded applications
机译:
定时嵌入式应用程序的WCET
作者:
Zhao
;
W.
;
Kulkarni
;
P.
;
Whalley
;
D.
;
Healy
;
C.
;
Mueller
;
F.
;
Uh
;
G.-R.
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
关键词:
embedded systems;
program compilers;
genetic algorithms;
interactive systems;
batch processing (computers);
interactive compilation system;
timing analyzer;
genetic algorithm;
batch optimization sequence;
embedded applications;
worst-case execution time;
63.
Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium
机译:
议事录。 RTAS2004。第十届IEEE实时和嵌入式技术与应用研讨会
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
64.
Blank page
机译:
空白页
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
65.
Proceedings RTAS 2004 10th IEEE Real-Time and Embedded Technology and Applications Symposium
机译:
会议论文集RTAS 2004第十届IEEE实时和嵌入式技术与应用研讨会
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
66.
Copyright Page
机译:
版权页
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
67.
Message from the program chairs
机译:
节目主持人的话
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
68.
Committees
机译:
委员会
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
69.
Technical program committee
机译:
技术计划委员会
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
70.
Reviewers
机译:
审稿人
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
71.
Author index
机译:
作者索引
会议名称:
《Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004》
|
2004年
意见反馈
回到顶部
回到首页